Preview
Unable to display preview. Download preview PDF.
Reference
C. A. R. Hoare, „Communicating sequential processes”. CACM 21, 8, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bekić, H. (1984). Nondeterministic functions and the semantics of CSP. In: Jones, C.B. (eds) Programming Languages and Their Definition. Lecture Notes in Computer Science, vol 177. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0048947
Download citation
DOI: https://doi.org/10.1007/BFb0048947
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13378-0
Online ISBN: 978-3-540-38933-0
eBook Packages: Springer Book Archive