Centrum Wiskunde & Informatica

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

W.J. Fokkink (Wan) and S. Nain

January 2005
verification of timed systems using cones and foci In Proceedings

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2005
Simplifying Itai-Rodeh leader election for anonymous rings In Proceedings

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2005
Is timed branching bisimilarity and equivalence indeed? In Proceedings

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

January 2005
Lock-free dynamic hash tables with open addressing Article

Distributed Computing, 18(1), 21-42.

H. Gao, J.F. Groote (Jan Friso) and W.H. Hesselink (Wim)

January 2005
A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems In Proceedings

J.F. Groote (Jan Friso) and M. Keinänen

January 2005

Previous

Next