Self Checking Network Protocols: A Monitor Based Approach.

Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi

Browse the full SRDS paper archive.