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