1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2008★ 1 cited
Branching Bisimilarity with Explicit Divergence
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…
cs.LO2006
A Finite Equational Base for CCS with Left Merge and Communication Merge
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir +1
Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and -complete set of valid equations) for the fragment of CCS witho…