Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Lua i Stíl Chicago (17ú heag.)Chaochen, Z., agus C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Lua MLA (9ú heag.)Chaochen, Z., agus C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.