Executing temporal logic programs

This publication has 12 references indexed in Scilit:

• A hardware semantics based on temporal intervals
  Published by Springer Nature ,2005
• Predicative programming Part I
  Communications of the ACM, 1984
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• Process logic: Expressiveness, decidability, completeness
  Journal of Computer and System Sciences, 1982
• Equations between regular terms and an application to process logic
  Published by Association for Computing Machinery (ACM) ,1981
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Communicating sequential processes
  Communications of the ACM, 1978
• Lucid, a nonprocedural language with iteration
  Communications of the ACM, 1977
• Lucid—A Formal System for Writing and Proving Programs
  SIAM Journal on Computing, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969