Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification.

Purnendu Sinha, Neeraj Suri

Browse the full ICDCS paper archive.