Centrum Wiskunde & Informatica

Termination and confluence of rule execution Tech Report

M.H. van der Voort and A.P.J.M. Siebes (Arno)

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

S. Moran and G. Taubenfeld

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

J. Keller (Jörg)

January 1993
Expressiveness results for process algebras Tech Report

F.W. Vaandrager (Frits)

January 1993

Previous

Next