ATOMICITY AND CONCURRENCY CONTROL IN PROCESS CALCULI

Article type: Research Article

Authors: Ferrari, Gian-Luigi

Affiliations: Università di Pisa, Dipartimento di Informatica, Corso Italia 40, 56125 Pisa, Italy, e-mail: [email protected]

Abstract: A process calculus where atomic actions cooperate via explicit synchronization policies is presented. Bisimulation semantics for the calculus is provided with a sound and complete axiomatization. The problem of modeling concurrency control strategies is also addressed. This paper intends to show that process-algebraic semantics, notably non interleaving semantics, can be used to reason about complex concurrent behaviours.

DOI: 10.3233/FI-1997-29403

Journal: Fundamenta Informaticae, vol. 29, no. 4, pp. 341-368, 1997