| |
VOLUME 1, ISSUE 1, PAPER 3
|
Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy's Merge
|
©Luca Aceto, BRICS, University of Aalborg
©Wan Fokkink, CWI, Amsterdam
©Anna Ingolfsdottir, BRICS, University of Aalborg and University of Iceland
©Bas Luttik, Eindhoven Technical University
|
Abstract
This note shows that split-2 bisimulation equivalence (also known as timedequivalence) affords a finite equational axiomatization over the processalgebra obtained by adding an auxiliary operation proposed by Hennessy in 1981to the recursion, relabelling and restriction free fragment of Milner'sCalculus of Communicating Systems. Thus the addition of a single binaryoperation, viz. Hennessy's merge, is sufficient for the finite equationalaxiomatization of parallel composition modulo this non-interleavingequivalence. This result is in sharp contrast to a theorem previously obtainedby the same authors to the effect that the same language is not finitely basedmodulo bisimulation equivalence.
|
Publication date: March 9, 2005
Full Text: PDF | PostScript
DOI: 10.2168/LMCS-1(1:3)2005
Hit Counts: 5653 |
 Creative Commons | |
