Centrum Wiskunde & Informatica

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
An Abstract Interpretation Toolkit for mCRL In Proceedings

J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

January 2005
ARCoS Software

U. Ebert (Ute)

January 2005
A convex quadratic characterization of the Lovász theta number Article

SIAM Journal on Discrete Mathematics, 382-387.

C.J. Luz and A. Schrijver (Lex)

January 2005

Previous

Next