TY  - BOOK
AU  - Zwiers J
TI  - Compositionality concurrency and partial correctness : proof theories for networks of processes, and their relationship
U1  - 005.3 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag
KW  - Networks
KW  - Proof theories
ER  -