Sciweavers

LMCS
2006

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

13 years 11 months ago
Extending the theory of Owicki and Gries with a logic of progress
Brijesh Dongol, Doug Goldson
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LMCS
Authors Brijesh Dongol, Doug Goldson
Comments (0)