CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2005
-
January 2005
-
CCS with Hennessy's merge has no finite-equational axiomatization Article
Chicago Journal of Theoretical Computer Science, 330(3), 377-405.L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)
January 2005
-
Finite equational bases in process algebra: Results and open questions Book Chapter
L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)
January 2005 -
Formal methods impact on ANSI standard HL7/IM: filling gaps in MSC theory In Proceedings
W. Wesselink, N. Goga (Nicolae), A.J. Mooij (Arjan) and R. Spronk
January 2005 -
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge Article
Logical Methods in Computer Science, 1(1-3), 1-12.L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)
January 2005 -
Bisimilarity is not finitely based over BPA with interrupt In Proceedings
L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S. Nain
January 2005 -
Preface In Proceedings
January 2005