Centrum Wiskunde & Informatica

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
Proof-checking a data link protocol Tech Report

L. Helmink, M.P.A. Sellink and F.W. Vaandrager (Frits)

January 1994
Tarskian variations dynamic parameters in classical semantics Tech Report

J.F.A.K. van Benthem (Johan) and G. Cepparello (Giovanna)

January 1994
Two heads are better than two tapes Tech Report

T. Jiang (Tao), J.I. Seiferas and P.M.B. Vitányi (Paul)

January 1994
Analysis of multiple-server polling systems by means of the power-series algorithm Tech Report

R.D. van der Mei (Rob) and S.C. Borst (Sem)

January 1994

Previous

Next