Akinori Specification and Verification Techniques for Parallel Programs Based on Message Passing (1978)

by AD A052-332 TR-191 Yonezawa
Venue:Semantics, Ph.D. Dissertation, EE & CS Dept