Formal derivation of strongly correct concurrent programs

This publication has 10 references indexed in Scilit:

• A general mechanism for avoiding starvation with distributed control
  Information Processing Letters, 1978
• Ensuring correctness by arbitrary postfixed-points
  Published by Springer Nature ,1978
• A proof method for cyclic programs
  Acta Informatica, 1978
• 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
• Constructing correct and efficient concurrent programs
  ACM SIGPLAN Notices, 1975
• Hierarchical ordering of sequential processes
  Acta Informatica, 1971
• Comments on prevention of system deadlocks
  Communications of the ACM, 1971
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967