(1989). Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship / J. Zwiers.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship / J. Zwiers. 1989.
MLA -ийн эшлэл (9 дэх хэвлэлт)Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship / J. Zwiers. 1989.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.