CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1994
-
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
January 1994
-
Proof-checking a data link protocol Tech Report
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
January 1994
-
January 1994