Centrum Wiskunde & Informatica

Lists and associative functions in algebraic specifications : semantics and implementation Tech Report

P.R.H. Hendriks

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

Previous

Next