Hierarchical correctness proofs for distributed algorithms

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 1987

Pages: 137-151

Article

DOI: 10.1145/41840.41852

SO-VID: cc9bb972-ea11-41d0-be59-9e54fd38798b

Conference name: the sixth annual ACM Symposium

Conference acronym: PODC '87

Conference number: 6

Conference location: Vancouver, British Columbia, Canada

Conference date: September 10, 1987 - September 12, 1987

Conference sponsor: SIGACT, ACM Special Interest Group on Algorithms and Computation Theory

Conference sponsor: SIGOPS, ACM Special Interest Group on Operating Systems

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.