Compositionality, Concurrency, and Partial Correctness Proof Theories for Networks of Processes, and Their Relationship - Zwiers, Job (Lecture Notes in Computer Science Ser.)