CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Termination and confluence of rule execution Tech Report
January 1993
-
Uniform self-stabilizing leader election Tech Report
S. Dolev, A. Israeli and S. Moran
January 1993
-
A lower bound on wait-free counting Tech Report
January 1993
-
The Amsterdam hypermedia model: extending hypertext to support real multimedia Tech Report
L. Hardman (Lynda), D.C.A. Bulterman (Dick) and G. van Rossum (Guido)
January 1993
-
CMIFed: a presentation environment for portable hypermedia documents Tech Report
G. van Rossum (Guido), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and D.C.A. Bulterman (Dick)
January 1993
-
Structured multimedia authoring Tech Report
L. Hardman (Lynda), G. van Rossum (Guido) and D.C.A. Bulterman (Dick)
January 1993
-
Fast parallel permutation algorithms Tech Report
January 1993
-
January 1993