Extending the theory of Owicki and Gries with asynchronous message passing | IEEE Conference Publication | IEEE Xplore