Publication

Jan en Alleman Book

Multimedia Synchronization and UNIX-or-If Multimedia Support is the Problem, Is UNIX the Solution? In Proceedings

D.C.A. Bulterman (Dick), G. van Rossum (Guido) and D.T. Winter (Dik)

Interim policy document 1993-1997 : budget projection 1993 SMC Book

Process algebra and structured operational semantics Dissertation

J.F. Groote (Jan Friso)

Term rewriting analysis in process algebra Article

G.J. Akkerman and J.C.M. Baeten (Jos)

A brief survey of art gallery problems in integer lattice systems Article

E. Kranakis (Evangelos) and M. Pocchiola

Interactively testing remote servers using the Python programming language Article

G. van Rossum (Guido) and J. de Boer (Jelke)

Texture synthesis Article

M. Haindl