APA (7th ed.) Citation

Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.

Chicago Style (17th ed.) Citation

Chaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.

MLA (9th ed.) Citation

Chaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.

Warning: These citations may not always be 100% accurate.