Partial correctness semantics for CP[↓, ¦, &]

This publication has 10 references indexed in Scilit:

• A fixpoint semantics for nondeterministic data flow
  Journal of the ACM, 1985
• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• Logic programs and many-valued logic
  Published by Springer Nature ,1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Systems programming in concurrent prolog
  Published by Association for Computing Machinery (ACM) ,1984
• Object oriented programming in Concurrent Prolog
  New Generation Computing, 1983
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Scenarios: A model of non-determinate computation
  Published by Springer Nature ,1981
• A relational language for parallel programming
  Published by Association for Computing Machinery (ACM) ,1981
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976