Extending the theory of Owicki and Gries with a logic of progress.

Brijesh Dongol Doug Goldson Extending the theory of Owicki and Gries with a logic of progress. 2006 2 Logical Methods in Computer Science 1 http://dx.doi.org/10.2168/LMCS-2(1:6)2006 db/journals/lmcs/lmcs2.html#DongolG06