Can I read Hennessy on EtoBox?

Hennessy by Shining Zang is a document available to read on EtoBox.

What is Hennessy about?

This paper establishes that the process algebra CCS with Hennessy’s merge operator does not have a finite equational axiomatization modulo bisimulation equivalence, confirming a conjecture by Bergstra and Klop. The authors demonstrate that the introduction of Hennessy’s merge operator cannot replace existing operators if a finite axiomatization of parallel composition is desired. The findings emphasize the necessity of auxiliary operators like left merge and communication merge for achieving finite equation

Author

Shining Zang

Language

EN