Semantic models for concurrent logic languages

This publication has 14 references indexed in Scilit:

• From failure to success: comparing a denotational and a declarative semantics for Horn clause logic
  Theoretical Computer Science, 1992
• Solving reflexive domain equations in a category of complete metric spaces
  Journal of Computer and System Sciences, 1989
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• Parallel Logic Programming in parlog: the Language and its Implementation by Steve Gregory: Published by Addison-Wesley, 217pp. £17.95
  Information and Software Technology, 1988
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• Parallel logic programming languages
  Published by Springer Nature ,1986
• Notes on the implementation of PARLOG
  The Journal of Logic Programming, 1985
• Properties of substitutions and unifications
  Journal of Symbolic Computation, 1985
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976