DISTRIBUTED ALGORITHMS , Lecture Notes for 6.852 FALL 1992

Authors:
N. Lynch;B. Patt-Shamir
Affiliations:
-;-
Venue:
DISTRIBUTED ALGORITHMS , Lecture Notes for 6.852 FALL 1992
Year:
1993

Citing 0
Cited 3

Reliable communication over unreliable channels

Journal of the ACM (JACM)
Counter-Example guided fence insertion under TSO

TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Automatic fence insertion in integer programs via predicate abstraction

SAS'12 Proceedings of the 19th international conference on Static Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract