A methodology for programming with concurrency

This publication has 12 references indexed in Scilit:

• Assignment and Procedure Call Proof Rules
  ACM Transactions on Programming Languages and Systems, 1980
• do considered od: A contribution to the programming calculus
  Acta Informatica, 1979
• Principles of proving concurrent programs in Gypsy
  Published by Association for Computing Machinery (ACM) ,1979
• Communicating sequential processes
  Communications of the ACM, 1978
• An exercise in proving parallel programs correct
  Communications of the ACM, 1977
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• Parallel programming: An axiomatic approach
  Computer Languages, 1975
• Some Deadlock Properties of Computer Systems
  ACM Computing Surveys, 1972
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Cooperating Sequential Processes
  Published by Springer Nature ,1968