Partial Correctness of Communicating Processes and Protocols

Bibliographische Detailangaben
Hauptverfasser:	Hoare, C, Chaochen, Z
Format:	Report
Veröffentlicht:	Oxford University Computing Laboratory‚ Programming Research Group 1981

Beschreibung
Zusammenfassung:

Ähnliche Einträge