Skip to main content

A More Complete Model of Communicating Processes

E.C.R. Hehner and C.A.R. Hoare

Journal
Theoretical Computer Science
Month
September
Number
1–2
Pages
105–120
Volume
26
Year
1983