A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.

Arshad Jhumka, Neeraj Suri, Martin Hiller

Browse the full SCOPES paper archive.