A Finite Equational Base for CCS with Left Merge and Communication Merge

  • Luca Aceto
  • Willem Jan Fokkink
  • Anna Ingólfsdóttir
  • Bas Luttik

Abstract

Using 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.
Published
2006-03-12
How to Cite
Aceto, L., Fokkink, W., 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