Box Calculus with High-Level Buffers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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.
Fichier principal
Vignette du fichier
2004-dads.pdf (147.3 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00114672 , version 1 (17-11-2006)

Identifiants

  • HAL Id : hal-00114672 , version 1

Citer

Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Box Calculus with High-Level Buffers. 2004, pp.1-6. ⟨hal-00114672⟩
107 Consultations
52 Téléchargements

Partager

Gmail Facebook X LinkedIn More