A weakest precondition semantics for communicating processesTzilla ElradNissim Francez1984Theoretical Computer Science
Decomposition of distributed programs into communication-closed layersTzilla ElradNissim Francez1982Science of Computer Programming