Compositionality, Concurrency, and Partial Correctness Proof Theories for Networks of Processes, and Their Relationship Zwiers Job Heftet / 1989 / Engelsk
