Synthesis of communicating processes from Temporal Logic specifications

This publication has 10 references indexed in Scilit:

• Temporal logic can be more expressive
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• The temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1981
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Communicating sequential processes
  Communications of the ACM, 1978
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Path Expressions
  Published by Defense Technical Information Center (DTIC) ,1975
• SYNVER
  Published by Association for Computing Machinery (ACM) ,1974
• Temporal Logic
  Published by Springer Nature ,1971
• First-Order Logic
  Published by Springer Nature ,1968
• Past, Present and Future
  Published by Oxford University Press (OUP) ,1967