CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
Simplifying Itai-Rodeh leader election for anonymous rings In Proceedings
January 2005 -
Is timed branching bisimilarity and equivalence indeed? In Proceedings
January 2005 -
Lock-free dynamic hash tables with open addressing Article
Distributed Computing, 18(1), 21-42.January 2005 -
January 2005