Partial Correctness of Communicating Processes and Protocols

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

Descripción
Sumario:

Ejemplares similares