Correctness of At-Most-Once Message Delivery Protocols

Authors:
Butler W. Lampson;Nancy A. Lynch;Jørgen F. Søgaard-Andersen
Affiliations:
-;-;-
Venue:
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Year:
1993

Citing 0
Cited 3

At-most-once semantics in asynchronous shared memory

DISC'09 Proceedings of the 23rd international conference on Distributed computing
Solving the at-most-once problem with nearly optimal effectiveness

ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
The strong at-most-once problem

DISC'12 Proceedings of the 26th international conference on Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract