A2CCS: A simple extension of CCS for handling atomic actions
- 127 Downloads
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.
KeywordsTransition System Composition Operator Visible State Atomic Action Primitive Action
Unable to display preview. Download preview PDF.
- R. Milner, Process Constructors and Interpretations, Proceedings of IFIP Congress '86, pp.507–514.Google Scholar
- 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
- G. Boudol and I. Castellani, Concurrency and Atomicity, Internal rapport INRIA Sophia-Antipolis.Google Scholar
- G. Boudol, Communication is an abstraction, INRIA Rapport de Recherche No 636, March 1987.Google Scholar
- L. Lamport, On Interprocess Communication, Distributed Computing 1, 2 (1986), 77–101, Springer.Google Scholar
- P. A. Berstein and N. Goodman, Concurrency control in distributed database systems, ACM Computing Surveys 13, 1981, pp 185–222.Google Scholar
- N. Lynch and M. Merrit, Introduction to the Theory of Nested Transactions, to appear in TCS.Google Scholar