Using transformations to verify parallel programs

This publication has 11 references indexed in Scilit:

• Parallel Program Design
  Published by Springer Nature ,1989
• A method for refining atomicity in parallel algorithms
  Published by Springer Nature ,1989
• Fairness in parallel programs: the transformational approach
  ACM Transactions on Programming Languages and Systems, 1988
• Fairness
  Published by Springer Nature ,1986
• Proof rules and transformations dealing with fairness
  Science of Computer Programming, 1983
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• Reduction
  Communications of the ACM, 1975
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975