Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Citazione stile Chigago Style (17a edizione)Chaochen, Z., e C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Citatione MLA (9a ed.)Chaochen, Z., e C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.