Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By ACM Press

0897912394

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructing multi-reader atomic values from non-atomic values

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41859 ◽

1987 ◽

Author(s):

James E. Burns ◽

Gary L. Peterson

Download Full-text

On processor coordination using asynchronous hardware

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41848 ◽

1987 ◽

Author(s):

Benny Chor ◽

Amos Israeli ◽

Ming Li

Download Full-text

Interleaving set temporal logic

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41855 ◽

1987 ◽

Author(s):

Shmuel Katz ◽

Doron Peled

Keyword(s):

Download Full-text

Achieving independence in logarithmic number of rounds

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41862 ◽

1987 ◽

Author(s):

Benny Chor ◽

Michael O. Rabin

Keyword(s):

Logarithmic Number

Download Full-text

Detection of stable properties in distributed applications

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41851 ◽

1987 ◽

Author(s):

Jean-Michael Helary ◽

Claude Jard ◽

Noël Plouzeau ◽

Michel Raynal

Keyword(s):

Distributed Applications

Download Full-text

Shifting gears: changing algorithms on the fly to expedite Byzantine agreement

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41844 ◽

1987 ◽

Author(s):

Amotz Bar-Noy ◽

Danny Dolev ◽

Cynthia Dwork ◽

H. Raymond Strong

Keyword(s):

Byzantine Agreement

Download Full-text

Epidemic algorithms for replicated database maintenance

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41841 ◽

1987 ◽

Author(s):

Alan Demers ◽

Dan Greene ◽

Carl Hauser ◽

Wes Irish ◽

John Larson

Download Full-text

Hierarchical correctness proofs for distributed algorithms

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41852 ◽

1987 ◽

Author(s):

Nancy A. Lynch ◽

Mark R. Tuttle

Keyword(s):

Distributed Algorithms ◽

Correctness Proofs

Download Full-text

On the time-complexity of broadcast in radio networks: an exponential gap between determinism randomization

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41849 ◽

1987 ◽

Author(s):

Reuven Bar-Yehuda ◽

Oded Goldreich ◽

Alon Itai

Keyword(s):

Time Complexity ◽

Download Full-text

Quorum consensus in nested transaction systems

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41843 ◽

1987 ◽

Author(s):

Kenneth J. Goldman ◽

Nancy A. Lynch

Keyword(s):

Quorum Consensus

Download Full-text