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