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]
@inproceedings{Goldson03:0,
title = {Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example},
author = {Doug Goldson},
year = {2003},
url = {http://ewic.bcs.org/conferences/2003/iwfm03/papers/paper7.htm},
researchr = {https://researchr.org/publication/Goldson03%3A0},
cites = {0},
citedby = {0},
booktitle = {6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003},
editor = {Joseph M. Morris and Benjamin Aziz and Frédéric Oehl},
series = {Workshops in Computing},
publisher = {BCS},
}