Atomic semantics of nonatomic programs

This publication has 6 references indexed in Scilit:

• On interprocess communication
  Distributed Computing, 1986
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• The ``Hoare Logic'' of CSP, and All That
  ACM Transactions on Programming Languages and Systems, 1984
• Reasoning about nonatomic operations
  Published by Association for Computing Machinery (ACM) ,1983
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976