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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-74407-8_2 | CONCUR |
Keywords | Field | DocType |
auxiliary operator,parallel composition,equational axiomatization,non-finite axiomatizability result,real-time extension,ccs-like language,finite axiomatizability,nondeterministic choice,paper survey,classic process algebra,real time,process algebra | Discrete mathematics,Nondeterministic algorithm,Computer science,Operator (computer programming),Merge (version control),Process calculus,Equational theory | Conference |
Volume | ISSN | ISBN |
4703 | 0302-9743 | 3-540-74406-1 |
Citations | PageRank | References |
0 | 0.34 | 36 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luca Aceto | 1 | 1125 | 101.87 |
Anna Ingolfsdottir | 2 | 39 | 4.89 |