Partial Correctness of Communicating Processes and Protocols

מידע ביבליוגרפי
Main Authors:	Hoare, C, Chaochen, Z
פורמט:	Report
יצא לאור:	Oxford University Computing Laboratory‚ Programming Research Group 1981

תיאור
סיכום:

פריטים דומים