Publication

Bounded nondeterminism and the approximation induction principle in process algebra (extended abstract) In Proceedings

R.J. van Glabbeek (Rob)

Concurrency Tech Report

J.W. de Bakker (Jaco)

Teaching computer science in Nicaragua Tech Report

M. Sint and A.H. Veen (Arthur)

Mathematical morphology: an algebraic approach Tech Report

H.J.A.M. Heijmans (Henk)

In memoriam A. van Wijngaarden, Director Mathematical Centre 1961-1980. Tech Report

P.C. Baayen and J. Nuis

Eurocrypt 87 : 13-15.04.1987 : abstracts Book

Blinding for unanticipated signatures In Proceedings

D. Chaum (David)

Rekenen met raderen : de prehistorie van de computer : Drents Museum, mei t/m september 1987 Booklet