A trace-based compositional proof theory for fault tolerant distributed systems
Compositional reasoning about responsive systems with limited resources
Gisela A4 (1) (1) voor