Isomorphisms between predicate and state transformers Tech Report

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

Manray : a replicated workers program in manifold Tech Report

P. Spilling and F. Arbab (Farhad)

Service independent building blocks Tech Report

A.S. Klusener (Steven), B. van Vlijmen and A. van Waveren

Annual report ... / CWI. Department of Computer Science. Department of Software Technology Tech Report

A polling system with a dormant server Tech Report

S.C. Borst (Sem)

The use of service limits for efficient operation of multistation single-medium communication systems Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno) and H. Levy

On constructing multi-variate orthonormal polynomials associated with spectral distribution functions Tech Report

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

Steepest descent paths for integrals defining the modified Bessel functions of imaginary order Tech Report

N.M. Temme (Nico)