Proving correctness of concurrent programs - a quick introduction
Krzysztof Rafal Apt · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1988
A systematic presentation of Hoare type approach to proving correctness of concurrent programs is provided Various proof systems for oondeterministic programs, disjoint parallel programs., parallel programs with shared variables and synchronization constructs are studied.Special emphasis is put on the issue of f aimess.