CCS with Hennessy's merge has no finite-equational axiomatization

L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, B. Luttik

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

This paper confirms a conjecture of Bergstra and Klop's from 1984 by establishing that the process algebra obtained by adding an auxiliary operator proposed by Hennessy in 1981 to the recursion free fragment of Milner's Calculus of Communicating Systems is not finitely based modulo bisimulation equivalence. Thus, Hennessy's merge cannot replace the left merge and communication merge operators proposed by Bergstra and Klop, at least if a finite axiomatization of parallel composition modulo bisimulation equivalence is desired. © 2004 Elsevier B.V. All rights reserved.
Original languageEnglish
Pages (from-to)377-405
JournalTheoretical Computer Science
Volume330
Issue number3
DOIs
Publication statusPublished - 2005

Bibliographical note

DBLP:journals/tcs/AcetoFIL05

Fingerprint

Dive into the research topics of 'CCS with Hennessy's merge has no finite-equational axiomatization'. Together they form a unique fingerprint.

Cite this