Partial Correctness of Communicating Sequential Processes

Partial Correctness of Communicating Sequential Processes

Show other versions (1)
מידע ביבליוגרפי
Main Authors: Chaochen, Z, Hoare, C
פורמט: Conference item
יצא לאור: IEEE 2015
Search Result 1
Partial Correctness of Communicating Sequential Processes

Partial Correctness of Communicating Sequential Processes מאת Zhou, C, Hoare, C

יצא לאור 1981
Record
Show all versions (2)

פריטים דומים