Partial Correctness of Communicating Processes and Protocols

Partial Correctness of Communicating Processes and Protocols

Bibliographic Details
Main Authors: Hoare, C, Chaochen, Z
Format: Report
Published: Oxford University Computing Laboratory‚ Programming Research Group 1981

Similar Items