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
N. Francez‚ C.A.R. Hoare‚ D.J. Lehmann and W.P. de Roever