Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Cita Chicago (17th ed.)Chaochen, Z., i C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Cita MLA (9th ed.)Chaochen, Z., i C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Atenció: Aquestes cites poden no estar 100% correctes.