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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 32

Author(s):

James E. Burns ◽

Gary L. Peterson

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 ◽

Cited By ~ 50

Author(s):

Benny Chor ◽

Amos Israeli ◽

Ming Li

Interleaving set temporal logic

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

10.1145/41840.41855 ◽

1987 ◽

Cited By ~ 30

Author(s):

Shmuel Katz ◽

Doron Peled

Keyword(s):

Temporal Logic

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 ◽

Cited By ~ 17

Author(s):

Benny Chor ◽

Michael O. Rabin

Keyword(s):

Logarithmic Number

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 ◽

Cited By ~ 17

Author(s):

Jean-Michael Helary ◽

Claude Jard ◽

Noël Plouzeau ◽

Michel Raynal

Keyword(s):

Distributed Applications

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 ◽

Cited By ~ 47

Author(s):

Amotz Bar-Noy ◽

Danny Dolev ◽

Cynthia Dwork ◽

H. Raymond Strong

Keyword(s):

Byzantine Agreement

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 ◽

Cited By ~ 745

Author(s):

Alan Demers ◽

Dan Greene ◽

Carl Hauser ◽

Wes Irish ◽

John Larson

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 ◽

Cited By ~ 344

Author(s):

Nancy A. Lynch ◽

Mark R. Tuttle

Keyword(s):

Distributed Algorithms ◽

Correctness Proofs

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 ◽

Cited By ~ 33

Author(s):

Reuven Bar-Yehuda ◽

Oded Goldreich ◽

Alon Itai

Keyword(s):

Time Complexity ◽

Radio Networks

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 ◽

Cited By ~ 2

Author(s):

Kenneth J. Goldman ◽

Nancy A. Lynch

Keyword(s):

Quorum Consensus

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Constructing multi-reader atomic values from non-atomic values

On processor coordination using asynchronous hardware

Interleaving set temporal logic

Achieving independence in logarithmic number of rounds

Detection of stable properties in distributed applications

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

Epidemic algorithms for replicated database maintenance

Hierarchical correctness proofs for distributed algorithms

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

Quorum consensus in nested transaction systems

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