Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Style de citation Chicago (17e éd.)Chaochen, Z., et C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Style de citation MLA (9e éd.)Chaochen, Z., et C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Attention : ces citations peuvent ne pas être correctes à 100%.