Open AccessOperational Semantics for PBC with Asynchronous Communication
Author(s) -
Raymond Devillers,
Hanna Klaudel,
Maciej Koutny,
Elisabeth Pelz,
Franck Pommereau
Publication year - 2002
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - asynchronous communication , petri net , process calculus , computer science , semantics (computer science) , syntax , operational semantics , expression (computer science) , transition system , programming language , extension (predicate logic) , operator (biology) , theoretical computer science , concurrency , algebra over a field , mathematics , artificial intelligence , pure mathematics , computer network , biochemistry , chemistry , repressor , transcription factor , gene