Adequate proof principles for invariance and liveness properties of concurrent programs

This publication has 13 references indexed in Scilit:

• Proving precedence properties: The temporal way
  Published by Springer Nature ,2006
• Mathematical Theory of Computation
  Published by Defense Technical Information Center (DTIC) ,1991
• A proof rule for fair termination of guarded commands
  Information and Control, 1985
• How to cook a temporal proof system for your pet language
  Published by Association for Computing Machinery (ACM) ,1983
• Proof rules dealing with fairness
  Published by Springer Nature ,1982
• Verification of Concurrent Programs. Part I. The Temporal Framework,
  Published by Defense Technical Information Center (DTIC) ,1981
• Impartiality, justice and fairness: The ethics of concurrent termination
  Published by Springer Nature ,1981
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977
• Formal verification of parallel programs
  Communications of the ACM, 1976
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976