Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By ACM Press

0897913264

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multiple communication in multi-hop radio networks

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.73005 ◽

1989 ◽

Author(s):

R. Bar-Yehuda ◽

A. Israeli

Keyword(s):

Download Full-text

A hundred impossibility proofs for distributed computing

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72982 ◽

1989 ◽

Author(s):

N. Lynch

Keyword(s):

Distributed Computing

Download Full-text

Fast isolation of arbitrary forwarding faults

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.73006 ◽

1989 ◽

Author(s):

A. Herzberg ◽

S. Kutten

Download Full-text

Towards dataflow analysis of communicating finite state machines

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72984 ◽

1989 ◽

Author(s):

W. Peng ◽

S. Purushothaman

Keyword(s):

Finite State Machines ◽

State Machines ◽

Dataflow Analysis ◽

Download Full-text

Knowledge, probability, and adversaries

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72988 ◽

1989 ◽

Author(s):

J. Y. Halpern ◽

M. R. Tuttle

Download Full-text

A structural induction theorem for processes

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72998 ◽

1989 ◽

Author(s):

R. P. Kurshan ◽

K. McMillan

Keyword(s):

Structural Induction

Download Full-text

Predicates are predicate transformers: a unified compositional theory for concurrency

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.73000 ◽

1989 ◽

Author(s):

J. Zwiers ◽

W. Roever

Keyword(s):

Predicate Transformers

Download Full-text

Tight bounds for the sequence transmission problem

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72986 ◽

1989 ◽

Author(s):

Da-Wei Wang ◽

L. D. Zuck

Keyword(s):

Transmission Problem

Download Full-text

Efficient distributed recovery using message logging

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72997 ◽

1989 ◽

Author(s):

A. P. Sistla ◽

J. L. Welch

Keyword(s):

Message Logging

Download Full-text

Efficient solution to the distributed mutual exclusion problem

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72994 ◽

1989 ◽

Author(s):

D. Agrawal ◽

A. El Abbadi

Keyword(s):

Efficient Solution ◽

Mutual Exclusion ◽

Exclusion Problem ◽

Distributed Mutual Exclusion

Download Full-text