A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.

Henk Schepers, Rob Gerth

Browse the full SRDS paper archive.