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 -