Parle Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings (Paperback, 1987)
Parle Parallel Architectures and Languages Europe: Vol.1: Parallel Architectures, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings (Paperback, 1987)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3 (Paperback, 1989)