Partial Correctness of Communicating Processes and Protocols

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Hoare, C, Chaochen, Z
التنسيق:	Report
منشور في:	Oxford University Computing Laboratory‚ Programming Research Group 1981

مواد مشابهة