Centrum Wiskunde & Informatica

Comparative semantics for linear arrays of communicating processes Tech Report

J.W. de Bakker (Jaco), F. van Breugel and A. de Bruin (Arie)

January 1993
Three metric domains of processes for bisimulation Tech Report

F. van Breugel

January 1993
MANIFOLD version 1.0 programming: programs and problems Tech Report

C.L. Blom (Kees)

January 1993
Bisimulations and predicate logic Tech Report

R.T.P. Fernando (Tim)

January 1993
Efficient algorithms for mathematical morphology based on chamfer distances Tech Report

P. F. M. Nacken (Peter)

January 1993
On the reciprocal relationship between life histories and population dynamics Tech Report

O. Diekmann (Odo) and H. Metz

January 1993
Preconditioning in parallel Runge-Kutta methods for stiff initial value problems Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1993
A positive finite-difference advection scheme applied on locally refined grids Tech Report

W. Hundsdorfer (Willem), B. Koren (Barry), M. van Loon (Martin) and J.G. Verwer (Jan)

January 1993

Previous

Next