Semantics of Nondeterminism‚ Concurrency and Communication (Journal of Computer and System Sciences, 1979)

(untitled) - Francez, N; Hoare, C; Lehmann, D; de Roever, W