Centrum Wiskunde & Informatica

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
Introductory paper Special section on formal methods for industrial critical systems Article

International Journal on Software Tools for Technology Transfer, 7(3), 195-196.

T. Arts and J.C. van de Pol (Jaco)

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

Previous

Next