CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Analysing the BKE-security protocol with $\mu$CRL In Proceedings
S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), S. Mauw (Sjouke) and A. Serebrenik (Alexander)
January 2005 -
A distributed algorithm for strong bisimulation reduction of state spaces Article
International Journal on Software Tools for Technology Transfer, 7(1), 74-86.January 2005 -
Distributed state space minimization Article
International Journal on Software Tools for Technology Transfer, 7(3), 280-291.January 2005 -
Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article
Journal of Logic and Algebraic Programming, 65(2), 51-104.A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al
January 2005 -
Formal analysis of a fair payment protocol In Proceedings
January 2005 -
On the bisimulation congruence in chi-calculus In Proceedings
T. Chen (Taolue), T. Han and J. Lu
January 2005 -
Operational semantics of security protocols In Proceedings
January 2005 -
Checking secrecy by means of partial order reduction In Proceedings
January 2005