Extending the theory of Owicki and Gries with asynchronous message passing.

Doug Goldson

Browse the full APSEC paper archive.