Publication

Smoothed Runge-Kutta methods in the method of lines Tech Report

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

The current state of bisimulation tools Tech Report

H.P. Korver

Modular properties of conditional term rewriting systems Tech Report

A. Middeldorp

Program calculation properties of continuous algebras Tech Report

M.M. Fokkinga (Maarten) and E. Meijer

Process algebra with signals and conditions Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

The energy complexity of threshold and other functions (preliminary version) Tech Report

G. Kissin and J.T. Tromp (John)

Studiedag cultuurgeschiedenis van de automatisering [GMFW-CWI colloquium history of computing] : [26.04.1991] Tech Report

Beste Jan, ... Book Chapter

T. Schipper