Back to Search
Start Over
The Saga of the Axiomatization of Parallel Composition.
- Source :
- CONCUR 2007 - Concurrency Theory; 2007, p2-16, 15p
- Publication Year :
- 2007
-
Abstract
- This 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540744061
- Database :
- Complementary Index
- Journal :
- CONCUR 2007 - Concurrency Theory
- Publication Type :
- Book
- Accession number :
- 33108923
- Full Text :
- https://doi.org/10.1007/978-3-540-74407-8_2