10. PODC 1991: Montreal, Quebec, Canada

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, (Errata: PODC 1992: 285-286)
  
• 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 Y. 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
  

Last update Sun May 19 23:27:32 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page