Correctness of At-Most-Once Message Delivery Protocols.

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

Browse the full FORTE paper archive.