Centrum Wiskunde & Informatica

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
Declarative interpretations reconsidered Tech Report

K.R. Apt (Krzysztof) and M. Gabbrielli

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
Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics Tech Report

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

January 1994
Self-dual morphological operators and filters Tech Report

H.J.A.M. Heijmans (Henk)

January 1994

Previous

Next