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.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.