Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Citación estilo ChicagoChaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Cita MLAChaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Warning: These citations may not always be 100% accurate.