Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Chicago-čujuhus (17. p.)Chaochen, Z., juo C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA-čujuhus (9. p.)Chaochen, Z., juo C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.