Job Zwiers. Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship. Volume 321 of Lecture Notes in Computer Science, Springer, 1989.
@book{Zwiers89, title = {Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship}, author = {Job Zwiers}, year = {1989}, tags = {composition}, researchr = {https://researchr.org/publication/Zwiers89}, cites = {0}, citedby = {0}, volume = {321}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-50845-7}, }