default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th PODC 1991: Montreal, Quebec, Canada
- Luigi Logrippo:
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991. ACM 1991, ISBN 0-89791-439-2
Invited Speaker at 1990 PODC
- Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems. 1-9
Session 1
- Maurice Herlihy:
Randomized Wait-Free Concurrent Objects (Extended Abstract). 11-21 - Paris C. Kanellakis, Alexander A. Shvartsman
:
Efficient Parallel Algorithms on Restartable Fail-Stop Processors. 23-36 - Benny Chor, Lee-Bath Nelson:
Resiliency of Interactive Distributed Tasks (Extended Abstract). 37-49
Session 2
- Rafail Ostrovsky, Moti Yung:
How to Withstand Mobile Virus Attacks (Extended Abstract). 51-59 - Christos H. Papadimitriou, Mihalis Yannakakis:
On the Value of Information in Distributed Decision-Making (Extended Abstract). 61-64 - Michael E. Saks, Fotios Zaharoglou:
Optimal Space Distributed Move-to-Front Lists. 65-73
Session 3
- Christos H. Papadimitriou, Martha Sideri:
Optimal Coteries. 75-80 - Karni Gilon, David Peleg:
Compact Deterministic Distributed Dictionaries (Extended Abstract). 81-94 - Eliezer Levy, Henry F. Korth, Abraham Silberschatz:
A Theory of Relaxed Atomicity (Extended Abstract). 95-109
Session 4
- Da-Wei Wang, Lenore D. Zuck:
Real-Time Sequence Transmission Problem. 111-123 - Stephen Ponzio:
Consensus in the Presence of Timing Uncertainty: Omission and Byzantine Failures (Extended Abstract). 125-138 - Rajeev Alur, Tomás Feder, Thomas A. Henzinger:
The Benefits of Relaxing Punctuality. 139-152
Session 5
- Baruch Awerbuch, Israel Cidon, Shay Kutten, Yishay Mansour, David Peleg:
Broadcast with Partial Knowledge (Preliminary Version). 153-163 - Yishay Mansour, Boaz Patt-Shamir:
Greedy Packet Scheduling on Shortest Paths (Preliminary Version). 165-175 - Baruch Awerbuch, Shay Kutten, David Peleg:
Efficient Deadlock-Free Routing. 177-188
Session 6
- Michael Merritt, Gadi Taubenfeld:
Knowledge in Shared Memory Systems (Preliminary Version). 189-200 - Martín Abadi, Mark R. Tuttle:
A Semantics for a Logic of Authentication (Extended Abstract). 201-216 - Beverly A. Sanders:
A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). 217-230
Session 7
- Sigurd Meldal, Sriram Sankar, James Vera:
Exploiting Locality in Maintaining Potential Causality. 231-239 - Haim Gaifman, Michael J. Maher, Ehud Shapiro:
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. 241-255 - Ajei S. Gopal, Sam Toueg:
Inconsistency and Contamination (Preliminary Version). 257-272
Session 8
- Prasad Tetali, Peter Winkler:
On a Random Walk Problem Arising in Self-Stabilizing Token Management. 273-280 - Shlomi Dolev, Amos Israeli, Shlomo Moran:
Resource Bounds for Self Stabilizing Message Driven Protocols. 281-293 - Yehuda Afek, Eli Gafni:
Bootstrap Network Resynchronization (Extended Abstract). 295-307
Session 9
- Vassos Hadzilacos, Joseph Y. Halpern:
Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). 309-323 - Tushar Deepak Chandra, Sam Toueg:
Unreliable Failure Detectors for Asynchronous Systems (Preliminary Version). 325-340 - Aleta Ricciardi, Kenneth P. Birman:
Using Process Groups to Implement Failure Detection in Asynchronous Environments. 341-353
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
