Nondeterministic programs : An example
Part of the Lecture Notes in Computer Science book series (LNCS, volume 177)
Selected Papers Parallelism
- 106 Downloads
KeywordsPartial Order Asynchronous Communication Denotational Semantic Serial Composition Null Sequence
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- G. D. Plotkin: A powerdomain construction. — SIAM Journal on Computing, Vol.5, No.3, 1976.Google Scholar
- M. Smyth: Powerdomains. — JCSS, Vol.16, No.1, 1978.Google Scholar
- 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).Google Scholar
© Springer-Verlag Berlin Heidelberg 1984