Publication

Checking secrecy by means of partial order reduction In Proceedings

S. Mauw (Sjouke) and C.J.F. Cremers (Cas)

Operational semantics of security protocols In Proceedings

S. Mauw (Sjouke) and C.J.F. Cremers (Cas)

On the bisimulation congruence in chi-calculus In Proceedings

T. Chen (Taolue), T. Han and J. Lu

Formal analysis of a fair payment protocol In Proceedings

J.G. Cederquist and M.T. Dashti (Mohammad)

Is timed branching bisimilarity and equivalence indeed? In Proceedings

W.J. Fokkink (Wan), J. Pang (Jun) and A.J. Wijs (Anton)

Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

Distributed state space minimization Article

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)