Centrum Wiskunde & Informatica

Proving total correctness of recursive procedures Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1989
Designing concurrency semantics Tech Report

J.W. de Bakker (Jaco)

January 1989
Lie-algebraic aspects of the classical nonrelativistic Calogero-Moser models Tech Report

J.K. Scholma

January 1989
Simple approximations for second moment characteristics of the sojourn time in the M/G/1 processor sharing queue Tech Report

J.L. van den Berg (Hans)

January 1989
Block Runge-Kutta methods on parallel computers Tech Report

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

January 1989
Nonlinear multigrid applied to a 1D stationary semiconductor model Tech Report

P.M. de Zeeuw (Paul)

January 1989
A simple definition for parallel composition of prime event structures Tech Report

F.W. Vaandrager (Frits)

January 1989
Workloads and waiting times in single-server systems with multiple customer classes Tech Report

O.J. Boxma (Onno)

January 1989

Previous

Next