A Finite Equational Base for CCS with Left Merge and Communication Merge
AbstractUsing the left merge and communication merge from ACP, we present an equational base for the fragment of CCS without restriction and relabelling. Our equational base is finite if the set of actions is finite.
How to Cite
Aceto, L., Fokkink, W. J., Ingólfsdóttir, A., & Luttik, B. (2006). A Finite Equational Base for CCS with Left Merge and Communication Merge. BRICS Report Series, 13(6). https://doi.org/10.7146/brics.v13i6.21912
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.