Semantics of nondeterminism, concurrency and communication
Publication date
1978
Authors
Francez, N.
Hoare, C.A.R.,
Lehman, D.J.
de Roever, W-P
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Francez, N, Hoare, C A R, Lehman, D J & de Roever, W-P 1978, Semantics of nondeterminism, concurrency and communication. vol. 78-00, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-78-00.html >