Extending the theory of Owicki and Gries with asynchronous message passing

Doug Goldson. Extending the theory of Owicki and Gries with asynchronous message passing. In 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand. pages 532-541, IEEE Computer Society, 2003. [doi]

@inproceedings{Goldson03,
  title = {Extending the theory of Owicki and Gries with asynchronous message passing},
  author = {Doug Goldson},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110532abs.htm},
  researchr = {https://researchr.org/publication/Goldson03},
  cites = {0},
  citedby = {0},
  pages = {532-541},
  booktitle = {10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2011-1},
}