Enviar aquest missatge de text: Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.