Partial Correctness of Communicating Processes and Protocols

Partial Correctness of Communicating Processes and Protocols

Detalles Bibliográficos
Main Authors: Hoare, C, Chaochen, Z
Formato: Report
Publicado: Oxford University Computing Laboratory‚ Programming Research Group 1981

Títulos similares