On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences

This publication has 13 references indexed in Scilit:

• A compositional semantics for Concurrent Prolog
  Published by Springer Nature ,2005
• Unfolding and fixpoint semantics of concurrent constraint logic programs
  Published by Springer Nature ,1990
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses
  Published by Springer Nature ,1989
• Fully abstract denotational semantics for flat Concurrent Prolog
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Properties of substitutions and unifications
  Journal of Symbolic Computation, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980