Zwiers, J. (1989). Compositionality, concurrency and partial correctness: Proof theories for networks of processes, and their relationship. Springer.
Chicago Style (17th ed.) CitationZwiers, Jakob. Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship. Berlin ; Heidelberg <<[u.a.]>>: Springer, 1989.
MLA (9th ed.) CitationZwiers, Jakob. Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship. Springer, 1989.
Warning: These citations may not always be 100% accurate.