CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Analysis of a leader election algorithm in $\mu$ CRL In Proceedings
T. Chen (Taolue), T. Han and J. Lu
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 -
A syntactic criterion for injectivity of authentication protocols In Proceedings
S. Mauw (Sjouke), C.J.F. Cremers (Cas) and E.P. de Vink (Erik)
January 2005
-
A note on K-state self-stabilization in a ring with K=N Article
Nordic Journal of Computing, 12(1), 18-26.W.J. Fokkink (Wan), J.H. Hoepman (Jaap-Henk) and J. Pang (Jun)
January 2005 -
A finite basis for failure semantics In Proceedings
January 2005 -
verification of timed systems using cones and foci In Proceedings
January 2005