Powerdomains and nondeterministic recursive definitions

This publication has 11 references indexed in Scilit:

• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
  SIAM Journal on Computing, 1980
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• Sharing in nondeterminism
  Published by Springer Nature ,1979
• LCF considered as a programming language
  Theoretical Computer Science, 1977
• Relationships between classes of monotonic functions
  Theoretical Computer Science, 1976
• A Powerdomain Construction
  SIAM Journal on Computing, 1976
• Nondeterministic Algorithms
  Journal of the ACM, 1967
• Documentation problems
  Communications of the ACM, 1963
• A Basis for a Mathematical Theory of Computation)
  Published by Elsevier ,1963