Box Calculus with High-Level Buffers

Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00114672
Contributor : Franck Pommereau <>
Submitted on : Friday, November 17, 2006 - 1:16:35 PM
Last modification on : Thursday, December 13, 2018 - 9:46:03 AM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 10:56:46 PM

File

2004-dads.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00114672, version 1

Collections

Citation

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

Share

Metrics

Record views

222

Files downloads

84