Semantics of nondeterminism, concurrency, and communication
Nissim Francez, C.A.R. Hoare, Daniel J. Lehmann, Willem P. De RoeverVolume:
19
Year:
1979
Language:
english
Pages:
19
DOI:
10.1016/0022-0000(79)90006-0
File:
PDF, 1.21 MB
english, 1979