Preview
Unable to display preview. Download preview PDF.
References
G. D. Plotkin: A powerdomain construction. — SIAM Journal on Computing, Vol.5, No.3, 1976.
M. Smyth: Powerdomains. — JCSS, Vol.16, No.1, 1978.
H. Bekić: Nondeterministic functions and the semantics of CSP.— Presentation at 2nd Workshop on the Semantics of Programming Languages, Bad Honnef 1981. (Full paper under preparation).
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 programs : An example. 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/BFb0048948
Download citation
DOI: https://doi.org/10.1007/BFb0048948
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