A logic for the description of behaviours and properties of concurrent systems

This publication has 7 references indexed in Scilit:

• A logic for the specification and proof of regular controllable processes of CCS
  Acta Informatica, 1986
• On specifications, theories, and models with higher types
  Information and Control, 1986
• A decision procedure for the propositional μ-calculus
  Published by Springer Nature ,1984
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• "Sometimes" and "not never" revisited
  Published by Association for Computing Machinery (ACM) ,1983
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980