Advertisement

Nondeterministic programs : An example

  • Hans Bekić
Selected Papers Parallelism
  • 106 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 177)

Keywords

Partial 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    G. D. Plotkin: A powerdomain construction. — SIAM Journal on Computing, Vol.5, No.3, 1976.Google Scholar
  2. [2]
    M. Smyth: Powerdomains. — JCSS, Vol.16, No.1, 1978.Google Scholar
  3. [3]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Hans Bekić
    • 1
  1. 1.Wien

Personalised recommendations