Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Citace podle Chicago (17th ed.)Chaochen, Z., a C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Citace podle MLA (9th ed.)Chaochen, Z., a C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..