Communication is an abstraction - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1987

Communication is an abstraction


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0636.pdf (1.07 Mo) Télécharger le fichier

Dates and versions

inria-00075917 , version 1 (24-05-2006)


  • HAL Id : inria-00075917 , version 1


Gérard Boudol. Communication is an abstraction. [Research Report] RR-0636, INRIA. 1987, pp.18. ⟨inria-00075917⟩
141 View
19864 Download


Gmail Facebook Twitter LinkedIn More