(1989). Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship / J. Zwiers.
Lua i Stíl Chicago (17ú heag.)Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship / J. Zwiers. 1989.
Lua MLA (9ú heag.)Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship / J. Zwiers. 1989.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.