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 :
Rapport
[Research Report] RR-0636, INRIA. 1987, pp.18
Liste complète des métadonnées

https://hal.inria.fr/inria-00075917
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 19:35:58
Dernière modification le : jeudi 11 janvier 2018 - 16:38:56
Document(s) archivé(s) le : vendredi 13 mai 2011 - 16:32:09

Fichiers

Identifiants

  • HAL Id : inria-00075917, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

51