Title: Axiomatic proof techniques for parallel programs
Subjects: Computer programs, Parallel processing (Electronic computers), Verification, Parallel programs (Computer programs)