A Finite Equational Base for CCS with Left Merge and Communication Merge (2006)
Aceto, Luca, Fokkink, Wan, Ingolfsdottir, Anna, Luttik, Bas
Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and $\omega$-complete set of valid equations) for the fragment of CCS without recursion,...
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge (2005)
Aceto, Luca, Fokkink, Wan, Ingolfsdottir, Anna, Luttik, Bas
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...
Action refinement in process algebras / (1992)
Thesis (Ph. D.)--University of Sussex, 1990.
Action refinement in process algebras / (1992)
Thesis (Ph. D.)--University of Sussex, 1990.