CCS with Hennessy's merge has no finite equational axiomatization

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

CCS with Hennessy's merge has no finite equational axiomatization

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

Formal System Analysis

Research output: Book/Report › Report › Academic

140 Downloads (Pure)

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 Communicationg 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 is desired

Original language	English
Place of Publication	Aarhus
Publisher	BRICS, University of Aarhus
Number of pages	37
Publication status	Published - 2003

Publication series

Name	BRICS Report Series
Volume	RS-03-04
ISSN (Print)	0909-0878

Access to Document

publishers versionFinal published version, 210 KB

Cite this

@book{d6c7f21977b74b3faeb911ab69514e95,

title = "CCS with Hennessy's merge has no finite equational axiomatization",

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 Communicationg 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 is desired",

author = "L. Aceto and W.J. Fokkink and A. Ing{\'o}lfsd{\'o}ttir and B. Luttik",

year = "2003",

language = "English",

series = "BRICS Report Series",

publisher = "BRICS, University of Aarhus",

}

TY - BOOK

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

AU - Aceto, L.

AU - Fokkink, W.J.

AU - Ingólfsdóttir, A.

AU - Luttik, B.

PY - 2003

Y1 - 2003

N2 - 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 Communicationg 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 is desired

AB - 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 Communicationg 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 is desired

M3 - Report

T3 - BRICS Report Series

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

PB - BRICS, University of Aarhus

CY - Aarhus

ER -

CCS with Hennessy's merge has no finite equational axiomatization

Abstract

Publication series

Access to Document

Fingerprint

Cite this