Electronic Notes in Theoretical Computer Science
Collection
Collection
- ISSN: 1571-0661
Published by Elsevier B.V.
-
Just-in-time : on strategy annotations Article
Electronic Notes in Theoretical Computer Science, 1-23.January 2001
-
Distribution of a simple shared dataspace architecture In Proceedings
January 2002
-
New developments around the mCRL tool set In Proceedings
S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), I.A. van Langevelde, B. Lisser (Bert) and J.C. van de Pol (Jaco)
January 2003
-
Simplifying Itai-Rodeh leader election for anonymous rings In Proceedings
January 2005 -
January 2005
-
verification of timed systems using cones and foci 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
-
Vicious circles in orthogonal term rewriting systems In Proceedings
J. Ketema, J.W. Klop (Jan Willem) and V. van Oostrom (Vincent)
January 2005