10. PODC 1991: Montreal, Quebec, Canada

Invited Speaker at 1990 PODC

• Barbara Liskov: Practical Uses of Synchronized Clocks in Distributed Systems. 1-9 BibTeX

Session 1

• Maurice Herlihy: Randomized Wait-Free Concurrent Objects (Extended Abstract). 11-21 BibTeX
• Paris C. Kanellakis, Alexander A. Shvartsman: Efficient Parallel Algorithms on Restartable Fail-Stop Processors. 23-36 BibTeX
• Benny Chor, Lee-Bath Nelson: Resiliency of Interactive Distributed Tasks (Extended Abstract). 37-49 BibTeX

Session 2

• Rafail Ostrovsky, Moti Yung: How to Withstand Mobile Virus Attacks (Extended Abstract). 51-59 BibTeX
• Christos H. Papadimitriou, Mihalis Yannakakis: On the Value of Information in Distributed Decision-Making (Extended Abstract). 61-64 BibTeX
• Michael E. Saks, Fotios Zaharoglou: Optimal Space Distributed Move-to-Front Lists. 65-73 BibTeX

Session 3

• Christos H. Papadimitriou, Martha Sideri: Optimal Coteries. 75-80 BibTeX
• Karni Gilon, David Peleg: Compact Deterministic Distributed Dictionaries (Extended Abstract). 81-94 BibTeX
• Eliezer Levy, Henry F. Korth, Abraham Silberschatz: A Theory of Relaxed Atomicity (Extended Abstract). 95-109 BibTeX

Session 4

• Da-Wei Wang, Lenore D. Zuck: Real-Time Sequence Transmission Problem. 111-123 BibTeX
• Stephen Ponzio: Consensus in the Presence of Timing Uncertainty: Omission and Byzantine Failures (Extended Abstract). 125-138 BibTeX
• Rajeev Alur, Tomás Feder, Thomas A. Henzinger: The Benefits of Relaxing Punctuality. 139-152 BibTeX

Session 5

• Baruch Awerbuch, Israel Cidon, Shay Kutten, Yishay Mansour, David Peleg: Broadcast with Partial Knowledge (Preliminary Version). 153-163 BibTeX
• Yishay Mansour, Boaz Patt-Shamir: Greedy Packet Scheduling on Shortest Paths (Preliminary Version). 165-175 BibTeX
• Baruch Awerbuch, Shay Kutten, David Peleg: Efficient Deadlock-Free Routing. 177-188 BibTeX

Session 6

• Michael Merritt, Gadi Taubenfeld: Knowledge in Shared Memory Systems (Preliminary Version). 189-200 BibTeX , Errata: PODC 1992: 285-286
• Martín Abadi, Mark R. Tuttle: A Semantics for a Logic of Authentication (Extended Abstract). 201-216 BibTeX
• Beverly A. Sanders: A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). 217-230 BibTeX

Session 7

• Sigurd Meldal, Sriram Sankar, James Vera: Exploiting Locality in Maintaining Potential Causality. 231-239 BibTeX
• Haim Gaifman, Michael J. Maher, Ehud Y. Shapiro: Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. 241-255 BibTeX
• Ajei S. Gopal, Sam Toueg: Inconsistency and Contamination (Preliminary Version). 257-272 BibTeX

Session 8

• Prasad Tetali, Peter Winkler: On a Random Walk Problem Arising in Self-Stabilizing Token Management. 273-280 BibTeX
• Shlomi Dolev, Amos Israeli, Shlomo Moran: Resource Bounds for Self Stabilizing Message Driven Protocols. 281-293 BibTeX
• Yehuda Afek, Eli Gafni: Bootstrap Network Resynchronization (Extended Abstract). 295-307 BibTeX

Session 9

• Vassos Hadzilacos, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). 309-323 BibTeX
• Tushar Deepak Chandra, Sam Toueg: Unreliable Failure Detectors for Asynchronous Systems (Preliminary Version). 325-340 BibTeX
• Aleta Ricciardi, Kenneth P. Birman: Using Process Groups to Implement Failure Detection in Asynchronous Environments. 341-353 BibTeX