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.
Type de document :
Communication dans un congrès
2004, SCS, pp.1-6, 2004
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00114672
Contributeur : Franck Pommereau <>
Soumis le : vendredi 17 novembre 2006 - 13:16:35
Dernière modification le : jeudi 13 décembre 2018 - 09:46:03
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:56:46

Fichier

2004-dads.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00114672, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

215

Téléchargements de fichiers

77