Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics," MIT/LCS/TR-191 (1977)

by A Yonezawa