Box Calculus with High-Level Buffers
Résumé
In this paper, we propose a high-level process algebra allowing to express the exchange of data values using both handshake and buffered communication. This allows a simple and compositional expression of interprocess communication; in particular the buffered one makes easy the representation of program variables, allowing a compact representation of large systems. The process terms are provided with an operational semantics as well as with a denotational one in terms of high-level Petri nets. The main result is that both semantics are consistent in the sense that a term and the corresponding Petri net generate isomorphic transition systems.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...