Communication is an abstraction

Gérard Boudol 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We introduce a formalism that allows to hierarchically define communication structures. The core language consists of a few imperative constructs operating on shared variables. The semantics describes two distincts behaviours: a program performs some actions, which are elementary instructions, and operates on data by means of its terminated sequences of actions. By abstracting from this operation, we get the notion of atom. At the abstract level an atom operates as an indivisible action, while it is implemented as a whole program of a lower level. We show that the concept of atom is well-suited to deal with both low-level and high-level communication and synchronization primitives.
Type de document :
[Research Report] RR-0636, INRIA. 1987, pp.18
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 19:35:58
Dernière modification le : samedi 27 janvier 2018 - 01:31:24
Document(s) archivé(s) le : vendredi 13 mai 2011 - 16:32:09



  • HAL Id : inria-00075917, version 1



Gérard Boudol. Communication is an abstraction. [Research Report] RR-0636, INRIA. 1987, pp.18. 〈inria-00075917〉



Consultations de la notice


Téléchargements de fichiers