A Modular Proof of Correctness for a Network Synchronizer (Research Summary)

Authors:
Alan Fekete;Nancy A. Lynch;Liuba Shrira
Affiliations:
-;-;-
Venue:
Proceedings of the 2nd International Workshop on Distributed Algorithms
Year:
1987

Citing 0
Cited 3

A lattice-structured proof of a minimum spanning

PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Adapting to asynchronous dynamic networks (extended abstract)

STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
A methodology for designing communication protocols

SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract