Search

• < Previous
• 1
• Next >

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy&#39;s Merge

This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion, relabelling and restriction free fragment of Milner's&nbsp;[&hellip;]