You are about to access our book library "Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321) full version" .