Proving safety properties for a general communication protocol.

Marty Ossefort

Browse the full SIGCOMM paper archive.