Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումChaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA (9րդ խմբ.) ՄեջբերումChaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.