Doug Goldson. Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example. In Joseph M. Morris, Benjamin Aziz, Frédéric Oehl, editors, 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS, 2003. [doi]
Abstract is missing.