most citedExtending the theory of Owicki and Gries with a logic of progress

13 citations · 13 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2005★ 13 cited

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

Brijesh Dongol, Doug Goldson

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achie…