In Scott-Strachey style denotational semantics, parallelism implies nondeterminism

This publication has 11 references indexed in Scilit:

• Nondeterministic flowchart programs with recursive procedures: semantics and correctness I
  Theoretical Computer Science, 1981
• A linear history semantics for distributed languages extended abstract
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• Semantics of nondeterminism, concurrency, and communication
  Journal of Computer and System Sciences, 1979
• Concurrent Processes and Their Syntax
  Journal of the ACM, 1979
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Computable nondeterministic functions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978
• Power domains
  Journal of Computer and System Sciences, 1978
• Complexity of expressions allowing concurrency
  Published by Association for Computing Machinery (ACM) ,1978
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A Powerdomain Construction
  SIAM Journal on Computing, 1976