Proceedings of the Pittsburgh seminar on concurrency (LNCS, 1985)

(untitled) - Roscoe, A; Brookes, S; Winskel, G