Browsing by Author "Levin, Gary Marc"
Levin, Gary Marc (Cornell University, 1980-08)This thesis presents proof rules for an extension of Hoare's Communicating Sequential Processes (CSP). CSP is a notation for describing processes that interact through communication, which provides the sole means of ...
Levin, Gary Marc (Cornell University, 1979-11)We present proof rules for an extension of the Communicating Sequential Processes proposed by Hoare. The send and receive statements are treated symmetrically, simplifying the rules and allowing send to appear in guards. ...