Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 Bakker Jacobus W. de Heftet / 1989 / Engelsk
PARLE Parallel Architectures and Languages Europe Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings Bakker Jacobus W. de Heftet / 1987 / Engelsk
PARLE Parallel Architectures and Languages Europe Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings Bakker Jacobus W. de Heftet / 1987 / Engelsk