Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By ACM Press

0897911687

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How processes learn

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323615 ◽

1985 ◽

Author(s):

K. Mani Chandy ◽

Jayadev Misra

Download Full-text

The optimality of distributive constructions of minimum weight and degree restricted spanning trees in a complete network of processors

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323622 ◽

1985 ◽

Author(s):

E. Korach ◽

S. Moran ◽

S. Zaks

Keyword(s):

Spanning Trees ◽

Minimum Weight ◽

Complete Network

Download Full-text

Comparing how atomicity mechanisms support replication

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323605 ◽

1985 ◽

Author(s):

Maurice Herlihy

Download Full-text

Terminating iterative solution of simultaneous equations in distributed message passing systems

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323623 ◽

1985 ◽

Author(s):

B. Szymanski ◽

Y. Shi ◽

N. Prywes

Keyword(s):

Message Passing ◽

Iterative Solution ◽

Simultaneous Equations

Download Full-text

Improvements in the time complexity of two message-optimal election algorithms

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323612 ◽

1985 ◽

Author(s):

Eli Gafni

Keyword(s):

Time Complexity

Download Full-text

A model and proof system for asynchronous networks

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323601 ◽

1985 ◽

Author(s):

Bengt Jonsson

Keyword(s):

Proof System ◽

Asynchronous Networks

Download Full-text

Choice coordination with bounded failure (a preliminary version)

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323626 ◽

1985 ◽

Author(s):

Amotz Bar-Noy ◽

Michael Ben-Or ◽

Danny Dolev

Keyword(s):

Preliminary Version

Download Full-text

A formal model of knowledge, action, and communication in distributed systems

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323617 ◽

1985 ◽

Author(s):

Joseph Y. Halpern ◽

Ronald Fagin

Keyword(s):

Distributed Systems ◽

Download Full-text

Communication-time trade-offs in network synchronization

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323621 ◽

1985 ◽

Author(s):

Baruch Awerbuch

Keyword(s):

Network Synchronization ◽

Communication Time

Download Full-text

Towards a universal directory service

Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC '85 ◽

10.1145/323596.323619 ◽

1985 ◽

Author(s):

Keith A. Lantz ◽

Judy L. Edighoffer ◽

Bruce L. Hitson

Keyword(s):

Directory Service

Download Full-text