A2CCS: A simple extension of CCS for handling atomic actions

  • Roberto Gorrieri
  • Sergio Marchetti
  • Ugo Montanari
Parallelism And Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 299)


The paper presents an operational model of atomic actions based on compositional transition systems. A notion of abstraction between lower level and higher level transition systems is defined, where actions, in the higher level correspond to sequences of actions in the lower level. Abstraction and composition are proved to commute. The approach is applied to an extended version of CCS, called A2CCS, where a prefix operation containing an underlined action symbol expresses the fact that the action, when executed, must be part of a sequence of actions performed in an atomic manner.


Transition System Composition Operator Visible State Atomic Action Primitive Action 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R. Milner, Process Constructors and Interpretations, Proceedings of IFIP Congress '86, pp.507–514.Google Scholar
  2. [2]
    L. Castellano, G. De Michelis, and L. Pomello, Concurrency Vs. Interleaving: An Instructive Example, Bull. Europ. Ass. Theoretical Computer Science, 31, pp 12–15, 1987.Google Scholar
  3. [3]
    G. Boudol and I. Castellani, Concurrency and Atomicity, Internal rapport INRIA Sophia-Antipolis.Google Scholar
  4. [4]
    G. Boudol, Communication is an abstraction, INRIA Rapport de Recherche No 636, March 1987.Google Scholar
  5. [5]
    L. Lamport, On Interprocess Communication, Distributed Computing 1, 2 (1986), 77–101, Springer.Google Scholar
  6. [6]
    P. A. Berstein and N. Goodman, Concurrency control in distributed database systems, ACM Computing Surveys 13, 1981, pp 185–222.Google Scholar
  7. [7]
    N. Lynch and M. Merrit, Introduction to the Theory of Nested Transactions, to appear in TCS.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Roberto Gorrieri
    • 1
  • Sergio Marchetti
    • 2
  • Ugo Montanari
    • 3
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Selenia S.p.A.RomaItaly
  3. 3.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations