Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

DOI10.2168/LMCS-1(1:3)2005zbMATH Open1125.68080OpenAlexW3103350868MaRDI QIDQ5310634

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-1(1:3)2005

Mathematics Subject Classification ID

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

Related Items (1)

Modal logics for communicating systems

This page was built for publication: Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310634)