Centrum Wiskunde & Informatica

Supervisory control for nondeterministic systems Tech Report

A.A.F. Overkamp (Ard)

January 1994
Explicit methods for stiff ODEs from atmospheric chemistry Tech Report

J.G. Verwer (Jan) and D. Simpson

January 1994
Parallel predictor-corrector methods Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and J.J.B. de Swart (Jacques)

January 1994
Origin tracking for higher-order term rewriting systems Tech Report

A. van Deursen (Arie) and T.B. Dinesh

January 1994
Solving domain equations in a category of compact metric spaces Tech Report

F. van Breugel and J.H.A. Warmerdam

January 1994
Uniform deterministic self-stabilizing ring-orientation on odd-length rings Tech Report

J.H. Hoepman (Jaap-Henk)

January 1994
Randomized wait-free naming Tech Report

A. Panconesi, M. Papatriantafilou (Marina), P. Tsigas (Philippas) and P.M.B. Vitányi (Paul)

January 1994
Self-stabilizing wait-free clock synchronization Tech Report

M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1994

Previous

Next