Search

• < Previous
• 1
• Next >

---

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

Luca Aceto ; Wan Fokkink ; Anna Ingolfsdottir ; Bas Luttik.

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;]

---

On the Axiomatizability of Impossible Futures

Taolue Chen ; Wan Fokkink ; Rob van Glabbeek.

A general method is established to derive a ground-complete axiomatization for a weak semantics from such an axiomatization for its concrete counterpart, in the context of the process algebra BCCS. This transformation moreover preserves omega-completeness. It is applicable to semantics at least as&nbsp;[&hellip;]

---