11. WDAG 1997: Saarbrücken, Germany

Keynote Lectures

• Fred B. Schneider:
  Towards Fault-Tolerant and Secure Agentry. 1-14
  
• Andreas Reuter:
  Workflow Management - An Exercise in Distributed Computing. 15-19
  

Invited Paper in Memory of Anya Pogosyants

• Nancy A. Lynch:
  In Memory of Anna Pogosyants. 20-21
• Anna Pogosyants, Roberto Segala, Nancy A. Lynch:
  Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. 22-36
  

Contributed Papers

• Tamar Eilam, Shlomo Moran, Shmuel Zaks:
  A Simple DFS-Based Algorithm for Linear Interval Routing. 37-51
  
• Michele Flammini, Enrico Nardelli, Guido Proietti:
  ATM Layouts with Bounded Hop Count and Congestion. 52-65
  
• King-Shan Lui, Shmuel Zaks:
  Scheduling in Synchronous Networks and the Greedy Algorithm (Extended Abstract). 66-80
  
• Johannes Gehrke, C. Greg Plaxton, Rajmohan Rajaraman:
  Rapid Convergence of a Local Load Balancing Algorithm for Asynchronous Rings. 81-95
  
• Bogdan S. Chlebus, Roberto De Prisco, Alexander A. Shvartsman:
  Performing Tasks on Restartable Message-Passing Processors. 96-110
  
• Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch:
  Revisiting the Paxos Algorithm. 111-125
  
• Marcos Kawazoe Aguilera, Wei Chen, Sam Toueg:
  Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication. 126-140
  
• Rachid Guerraoui, André Schiper:
  Genuine Atomic Multicast. 141-154
  
• Shmuel Katz, Patrick Lincoln, John M. Rushby:
  Low-Overhead Time-Triggered Group Membership. 155-169
  
• Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
  Virtual Precedence in Asynchronous Systems: Cencept and Applications. 170-184
  
• Scott D. Stoller:
  Detecting Global Predicates in Distributed Systems with Clocks. 185-199
  
• Jerry James, Ambuj K. Singh:
  Fault Tolerance Bounds for Memory Consistency. 200-214
  
• Victor Luchangco:
  Precedence-Based Memory Models. 215-229
  
• Yuh-Jzer Joung, Jen-Yi Liao:
  Strong Interaction Fairness in a Fully Distributed System with Unbounded Speed Variability. 230-244
  
• Amos Beimel, Matthew K. Franklin:
  Reliable Communication over Partially Authenticated Networks. 245-259
  
• Colette Johnen, Gianluigi Alari, Joffroy Beauquier, Ajoy Kumar Datta:
  Self-Stabilizing Depth-First Token Passing on Rooted Networks. 260-274
  
• Juan A. Garay, Rosario Gennaro, Charanjit S. Jutla, Tal Rabin:
  Secure Distributed Storage and Retrieval. 275-289
  
• Michiko Inoue, Sen Moriya, Toshimitsu Masuzawa, Hideo Fujiwara:
  Optimal Wait-Free Clock Synchronisation Protocol on a Shared-Memory Multi-processor System. 290-304
  
• Mark Moir:
  Transparent Support for Wait-Free Transactions. 305-319
  
• Prasad Jayanti, Sanjay Khanna:
  On the Power of Multi-objects. 320-332