Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By ACM Press

0897911431

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Replicated procedure call

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806749 ◽

1984 ◽

Author(s):

Eric C. Cooper

Keyword(s):

Download Full-text

Knowledge, common knowledge and related puzzles (Extended Summary)

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806736 ◽

1984 ◽

Author(s):

Daniel Lehmann

Keyword(s):

Common Knowledge

Download Full-text

A technique for proving liveness of communicating finite state machines with examples

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806734 ◽

1984 ◽

Author(s):

M. G. Gouda ◽

C. K. Chang

Keyword(s):

Finite State Machines ◽

State Machines ◽

Download Full-text

Election and traversal in unidirectional networks

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806746 ◽

1984 ◽

Author(s):

Eli Gafni ◽

Yehuda Afek

Download Full-text

Elections in the presence of faults

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806741 ◽

1984 ◽

Author(s):

Michael Merritt

Download Full-text

A temporal logic for reasoning about partially ordered computations (Extended Abstract)

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806733 ◽

1984 ◽

Author(s):

Shlomit S. Pinter ◽

Pierre Wolper

Keyword(s):

Temporal Logic ◽

Partially Ordered

Download Full-text

An approach to performance analysis of timestamp-driven synchronization mechanisms

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806751 ◽

1984 ◽

Author(s):

David Jefferson ◽

Andrew Witkowski

Keyword(s):

Performance Analysis ◽

Synchronization Mechanisms

Download Full-text

Verification of multiprocess probabilistic protocols

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806732 ◽

1984 ◽

Author(s):

Amir Pnueli ◽

Lenore Zuck

Keyword(s):

Probabilistic Protocols

Download Full-text

An asynchronous [(n - 1)/3]-resilient consensus protocol

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806743 ◽

1984 ◽

Author(s):

Gabriel Bracha

Keyword(s):

Consensus Protocol

Download Full-text

Efficient and reliable broadcast is achievable in an eventually connected network(Extended Abstract)

Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 ◽

10.1145/800222.806754 ◽

1984 ◽

Author(s):

Baruch Awerbuch ◽

Shimon Even

Keyword(s):

Connected Network ◽

Reliable Broadcast

Download Full-text