Luttik, Bas
-
BRICS Report Series No. 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization - Articles
CCS with Hennessy's Merge has no Finite Equational Axiomatization
Abstract PDF -
BRICS Report Series No. 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge - Articles
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Abstract PDF -
BRICS Report Series No. 19 (2005): RS-19 Finite Equational Bases in Process Algebra: Results and Open Questions - Articles
Finite Equational Bases in Process Algebra: Results and Open Questions
Abstract PDF -
BRICS Report Series No. 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge - Articles
A Finite Equational Base for CCS with Left Merge and Communication Merge
Abstract PDF
