Publication
-
Operational semantics of security protocols In Proceedings
January 2005 -
Checking secrecy by means of partial order reduction In Proceedings
January 2005 -
January 2005
-
A note on K-state self-stabilization in a ring with K=N Article
Nordic Journal of Computing, 12(1), 18-26.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