Semantics of nondeterminism, concurrency, and communication

DSpace/Manakin Repository

Semantics of nondeterminism, concurrency, and communication
 
Francez, N.; Hoare, C.A.R.; Lehmann, D.J.; Roever, W.P. de
(1979) Journal of Computer and System Sciences, volume 19, issue 3, pp. 290 - 308
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 00220000
Publisher: Elsevier
 
 
See more statistics about this item