Title: Parallel program design and generalized weakest preconditions
Subjects: Parallel programming (Computer science)