TY  - RPRT
TI  - Extending the theory of Owicki and Gries with a logic of progress
AU  - Brijesh Dongol
AU  - Doug Goldson
PY  - 2006
DO  - 10.2168/lmcs-2(1:6)2006
UR  - https://arxiv.org/abs/cs/0512012
ID  - cs/0512012
ER  -