Compositionality concurrency and partial correctness : proof theories for networks of processes, and their relationship - Zwiers J (Berlin Springer Verlag, 1989)
Keywords: Networks; Proof theories