Doug Goldson, Brijesh Dongol. Concurrent Program Design in the Extended Theory of Owicki and Gries. In Mike D. Atkinson, Frank K. H. A. Dehne, editors, Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005. Volume 41 of CRPIT, pages 41-50, Australian Computer Society, 2005. [doi]
Abstract is missing.