Skip to main content
SpringerLink
Log in

A2CCS: A simple extension of CCS for handling atomic actions

  • Parallelism And Concurrency
  • Conference paper
  • First Online:
CAAP '88 (CAAP 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 299))

Included in the following conference series:

Abstract

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.

Research performed at Dipartimento di Informatica, Università di Pisa.

Research performed in part while on leave at SRI International; research supported by Office of Naval Research Contract N00014-86-C-0450.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Milner, Process Constructors and Interpretations, Proceedings of IFIP Congress '86, pp.507–514.

    Google Scholar 

  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. G. Boudol and I. Castellani, Concurrency and Atomicity, Internal rapport INRIA Sophia-Antipolis.

    Google Scholar 

  4. G. Boudol, Communication is an abstraction, INRIA Rapport de Recherche No 636, March 1987.

    Google Scholar 

  5. L. Lamport, On Interprocess Communication, Distributed Computing 1, 2 (1986), 77–101, Springer.

    Google Scholar 

  6. P. A. Berstein and N. Goodman, Concurrency control in distributed database systems, ACM Computing Surveys 13, 1981, pp 185–222.

    Google Scholar 

  7. N. Lynch and M. Merrit, Introduction to the Theory of Nested Transactions, to appear in TCS.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, I-56100, Pisa, Italy

    Roberto Gorrieri

  2. Selenia S.p.A., Via Tiburtina km.14.7, I-00100, Roma, Italy

    Sergio Marchetti

  3. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, I-56100, Pisa, Italy

    Ugo Montanari

Authors
  1. Roberto Gorrieri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergio Marchetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ugo Montanari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Dauchet M. Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gorrieri, R., Marchetti, S., Montanari, U. (1988). A2CCS: A simple extension of CCS for handling atomic actions. In: Dauchet, M., Nivat, M. (eds) CAAP '88. CAAP 1988. Lecture Notes in Computer Science, vol 299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026109

Download citation

  • DOI: https://doi.org/10.1007/BFb0026109

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19021-9

  • Online ISBN: 978-3-540-38930-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation