The Saga of the Axiomatization of Parallel Composition
AbstractThis paper surveys some classic and recent results on the finite axiomatizability of bisimilarity over CCS-like languages. It focuses, in particular, on non-finite axiomatizability results stemming from the semantic interplay between parallel composition and nondeterministic choice. The paper also highlights the role that auxiliary operators, such as Bergstra and Klop's left and communication merge and Hennessy's merge operator, play in the search for a finite, equational axiomatization of parallel composition both for classic process algebras and for their real-time extensions.
How to Cite
Aceto, L., & Ingólfsdóttir, A. (2007). The Saga of the Axiomatization of Parallel Composition. BRICS Report Series, 14(11). https://doi.org/10.7146/brics.v14i11.21933
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.