Formal verification of parallel programs

This publication has 10 references indexed in Scilit:

• Proving assertions about parallel programs
  Journal of Computer and System Sciences, 1975
• Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
  Journal of the ACM, 1973
• A comparison of two synchronizing concepts
  Acta Informatica, 1972
• Synchronization of communicating processes
  Communications of the ACM, 1972
• The application of program-proving techniques to the verification of synchronization processes
  Published by Association for Computing Machinery (ACM) ,1972
• Concurrent control with “readers” and “writers”
  Communications of the ACM, 1971
• Hierarchical ordering of sequential processes
  Acta Informatica, 1971
• Prevention of system deadlocks
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967
• A multiprocessor system design
  Published by Association for Computing Machinery (ACM) ,1963