Contributions to the semantics of logic perpetual processes

This publication has 12 references indexed in Scilit:

• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• Equivalences and transformations of regular systems—Applications to recursive program schemes and grammars
  Theoretical Computer Science, 1986
• Top-down semantics of fair computations of logic programs
  The Journal of Logic Programming, 1985
• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
  Information and Control, 1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Fundamental properties of infinite trees
  Theoretical Computer Science, 1983
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976