- Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science)
- A Decade of Concurrency: Reflections and Perspectives : Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 : Proceedings (Lecture Notes in Computer Science)
- Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 (Lecture Notes in Computer Science)
- Current Trends in Concurrency: Overviews and Tutorials
- Control Flow Semantics