Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Chicago-Zitierstil (17. Ausg.)Chaochen, Z., und C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA-Zitierstil (9. Ausg.)Chaochen, Z., und C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.