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. Logical Methods in Computer Science, 2(1), 2006. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: