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: Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Abstract: Bergstra and Klop have shown that bisimilarity has a finite equational axiomatisation over ACP/CCS extended with the binary left and communication merge operators. Moller proved that auxiliary operators are necessary to obtain a finite axiomatisation of bisimilarity over CCS, and Aceto et al. showed that this remains true when Hennessy's merge is added to that language. These results raise the question of whether there is one auxiliary binary operator whose addition to CCS leads to a finite axiomatisation of bisimilarity. This study provides a negative answer to that question based on three reasonable assumptions.
Subjects: Logic in Computer Science (cs.LO)
ACM classes: F.3.1; F.3.2
Cite as: arXiv:2010.01943 [cs.LO]
  (or arXiv:2010.01943v2 [cs.LO] for this version)

Submission history

From: Valentina Castiglioni [view email]
[v1] Mon, 5 Oct 2020 12:13:47 GMT (132kb,D)
[v2] Mon, 3 May 2021 11:43:18 GMT (76kb)

Link back to: arXiv, form interface, contact.