Semantics of nondeterminism, concurrency, and communication
Publication date
1979-12
Authors
Francez, N.
Hoare, C.A.R.
Lehmann, D.J.
Roever, W.P. de
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
