Skip to main content

Semantics of Nondeterminism‚ Concurrency and Communication

N. Francez‚ C.A.R. Hoare‚ D.J. Lehmann and W.P. de Roever

Journal
Journal of Computer and System Sciences
Month
December
Number
3
Pages
290–308
Volume
19
Year
1979