Publication

Summer School Control of Mechanical Systems - Preliminary Program Booklet

Abstraction in real time process algebra In Proceedings

A.S. Klusener (Steven)

Periodic multiprocessor scheduling In Proceedings

J. Korst (Jan), E.H.L. Aarts (Emile), J.K. Lenstra (Jan Karel) and J. Wessels (Jaap)

Structural operational semantics for Kernel Andorra Prolog In Proceedings

S. Haridi (Seif) and C. Palamidessi (Catuscia)

CWI visiting committee on computer science Description of the research groups Tech Report

CWI visiting committee on computer science - List of publications 1987 - 1991 Tech Report

At Last an ISO C Binding of GKS Article

M. Bakker (Miente)

Semigroups and renewal equations on dual Banach spaces with applications to population dynamics In Proceedings

O. Diekmann (Odo), M. Gyllenberg and H.R. Thieme