gaard-Andersen. Correctness of at-most-once message delivery protocols (1993)

by B W Lampson, N A Lynch, J F S
Venue:In FORTE'93 - Sixth International Conference onFormal Description Techniques