Centrum Wiskunde & Informatica

On the incomparability of Gamma and Linda Tech Report

G. Zavattaro (Gianluigi)

January 1998
Discrete time process algebra and the semantics of SDL Tech Report

J.A. Bergstra (Jan), C.A. Middelburg and Y.S. Usenko (Yaroslav)

January 1998
Normed simulations In Proceedings

W.O.D. Griffioen and F.W. Vaandrager (Frits)

January 1998
3D multigrid on partially ordered sets of grids In Proceedings

P.W. Hemker (Piet), B. Koren (Barry) and J. Noordmans

January 1998
A defect correction method for parabolic singular perturbation problems on a rectangle In Proceedings

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 1998
Brine transport in porous media: on the use of von Mises and similarity transformations Article

Computational Geosciences, 2(2), 125-149.

C.J. van Duijn (Hans) and R.J. Schotting (Ruud)

January 1998
Checking verifications of protocols and distributed systems by computer In Proceedings

J.F. Groote (Jan Friso), F. Monin and J.C. van de Pol (Jaco)

January 1998
Computing distances between evolutionary trees Book Chapter

B. DasGupta (Bhaskar), X. He (Xin), T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and L. Zhang (Louxin)

January 1998

Previous

Next