Comparative semantics of μLog

This publication has 8 references indexed in Scilit:

• Comparative semantics for flow of control in logic programming without logic
  Information and Computation, 1991
• The concurrent language, Shared Prolog
  ACM Transactions on Programming Languages and Systems, 1991
• Fundamental study
  Theoretical Computer Science, 1990
• Solving reflexive domain equations in a category of complete metric spaces
  Journal of Computer and System Sciences, 1989
• Concurrent histories: A basis for observing distributed systems
  Journal of Computer and System Sciences, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985
• Processes and the denotational semantics of concurrency
  Information and Control, 1982