Specification and verification of concurrent systems in CESAR

This publication has 13 references indexed in Scilit:

• Verification of Concurrent Programs. Part I. The Temporal Framework,
  Published by Defense Technical Information Center (DTIC) ,1981
• The temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1981
• Synthesis of Resource Invariants for Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1980
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Distributed processes
  Communications of the ACM, 1978
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Formal verification of parallel programs
  Communications of the ACM, 1976
• Formal semantics of a class of high-level primitives for coordinating concurrent processes
  Acta Informatica, 1975
• Temporal Logic
  Published by Springer Nature ,1971
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969