Treffer: Hierarchical correctness proofs for distributed algorithms
Title:
Hierarchical correctness proofs for distributed algorithms
Authors:
Source:
Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ; page 137-151
Publisher Information:
ACM Press
Publication Year:
1987
Document Type:
Konferenz
conference object
Language:
unknown
DOI:
10.1145/41840.41852
Availability:
Accession Number:
edsbas.7C3B9158
Database:
BASE