この資料をSMS送信: Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.