We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: In search of lost time: Axiomatising parallel composition in process algebras

Abstract: This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus on the recursion, relabelling and restriction free fragment of CCS and we discuss the solutions to three problems that were open for many years. The first problem concerns the status of Bergstra and Klop's auxiliary operators left merge and communication merge in the finite axiomatisation of parallel composition modulo bisimiliarity: We argue that, under some natural assumptions, the addition of a single auxiliary binary operator to CCS does not yield a finite axiomatisation of bisimilarity. Then we delineate the boundary between finite and non-finite axiomatisability of the congruences in van Glabbeek's linear time-branching time spectrum over CCS. Finally, we present a novel result to the effect that rooted weak bisimilarity has no finite complete axiomatisation over CCS.
Comments: arXiv admin note: text overlap with arXiv:2010.01943, arXiv:2102.11166
Subjects: Logic in Computer Science (cs.LO)
ACM classes: F.3.2; F.4.3
Cite as: arXiv:2105.00735 [cs.LO]
  (or arXiv:2105.00735v1 [cs.LO] for this version)

Submission history

From: Valentina Castiglioni [view email]
[v1] Mon, 3 May 2021 10:25:51 GMT (49kb)

Link back to: arXiv, form interface, contact.