Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Franck Pommereau Connect in order to contact the contributor
Submitted on : Friday, November 17, 2006 - 1:16:35 PM
Last modification on : Tuesday, February 15, 2022 - 11:24:02 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 10:56:46 PM


Publisher files allowed on an open archive


  • HAL Id : hal-00114672, version 1



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



Record views


Files downloads