Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Chaochen, Z., ба C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA -ийн эшлэл (9 дэх хэвлэлт)Chaochen, Z., ба C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.