Centrum Wiskunde & Informatica

An algebra for process creation Tech Report

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

January 1989
Placing mirrors in grids Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and L.G.L.T. Meertens (Lambert)

January 1989
Process expressions and Hoare's logic Tech Report

A. Ponse (Alban)

January 1989
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

Previous

Next