Login / Signup

In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism.

David B. Benson
Published in: Math. Syst. Theory (1982)
Keyphrases
  • denotational semantics
  • programming language
  • query language
  • operational semantics
  • parallel processing
  • abstract data types
  • situation calculus
  • high level
  • shared memory
  • multi agent systems
  • data analysis