Partial Correctness of Communicating Sequential Processes

Podrobná bibliografie
Hlavní autoři: Chaochen, Z, Hoare, C
Médium: Conference item
Vydáno: IEEE 2015