Centrum Wiskunde & Informatica

Inzien en bewijzen - Docentenhandleiding Book

D.J.N. van Eijck (Jan) and A. Visser

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

L. Aceto (Luca), W.J. Fokkink (Wan) and I. Ulidowski

January 2005
Skew and mega-skew confluence and abstract böhm semantics Book Chapter

Z.M. Ariola (Zena) and S.C.C. Blom (Stefan)

January 2005

Previous

Next