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

Authors

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

DOI:

https://doi.org/10.7146/brics.v13i6.21912

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.

Downloads

Published

2006-03-12

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

Issue

No. 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.