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

DOI10.1007/11787006_42zbMath1134.68039OpenAlexW1532619530MaRDI QIDQ3591426

Anna Ingólfsdóttir, Bas Luttik, Luca Aceto, W. J. Fokkink

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787006_42

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On finite alphabets and infinite bases

This page was built for publication: A Finite Equational Base for CCS with Left Merge and Communication Merge