At-Most-Once Message Delivery. A Case Study in Algorithm Verification.

Butler W. Lampson, Nancy A. Lynch, Jrgen F. Sgaard-Andersen

Browse the full CONCUR paper archive.