CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
January 2005
-
Introductory paper Special section on formal methods for industrial critical systems Article
International Journal on Software Tools for Technology Transfer, 7(3), 195-196.January 2005
-
Verification of a sliding window protocol in $\mu$ CRL and PVS Article
Formal Aspects of Computing, 17(3), 342-388.B. Badban (Bahareh), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun) and J.C. van de Pol (Jaco)
January 2005