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
Descripción
Summary:

Títulos similares