Principles of Distributed Systems

12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings

  • Theodore P. Baker
  • Alain Bui
  • Sébastien Tixeuil
Conference proceedings OPODIS 2008

DOI: 10.1007/978-3-540-92221-6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5401)

Table of contents (43 papers)

  1. Front Matter
  2. Invited Talks

    1. The Next 700 BFT Protocols
      Rachid Guerraoui
      Pages 1-1
  3. Regular Papers

    1. Write Markers for Probabilistic Quorum Systems
      Michael G. Merideth, Michael K. Reiter
      Pages 5-21
    2. Byzantine Consensus with Unknown Participants
      Eduardo A. P. Alchieri, Alysson Neves Bessani, Joni da Silva Fraga, Fabíola Greve
      Pages 22-40
    3. With Finite Memory Consensus Is Easier Than Reliable Broadcast
      Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg
      Pages 41-57
    4. Group Renaming
      Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld
      Pages 58-72
    5. Deadline Monotonic Scheduling on Uniform Multiprocessors
      Sanjoy Baruah, Joël Goossens
      Pages 89-104
    6. A Comparison of the M-PCP, D-PCP, and FMLP on LITMUSRT
      Björn B. Brandenburg, James H. Anderson
      Pages 105-124
    7. A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots
      Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita
      Pages 125-144
    8. Fault-Tolerant Flocking in a k-Bounded Asynchronous System
      Samia Souissi, Yan Yang, Xavier Défago
      Pages 145-163
    9. Bounds for Deterministic Reliable Geocast in Mobile Ad-Hoc Networks
      Antonio Fernández Anta, Alessia Milani
      Pages 164-183
    10. Degree 3 Suffices: A Large-Scale Overlay for P2P Networks
      Marcin Bienkowski, André Brinkmann, Miroslaw Korzeniowski
      Pages 184-196
    11. On the Time-Complexity of Robust and Amnesic Storage
      Dan Dobre, Matthias Majuntke, Neeraj Suri
      Pages 197-216
    12. Graph Augmentation via Metric Embedding
      Emmanuelle Lebhar, Nicolas Schabanel
      Pages 217-225
    13. The 0–1-Exclusion Families of Tasks
      Eli Gafni
      Pages 246-258
    14. Interval Tree Clocks
      Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
      Pages 259-274
    15. Ordering-Based Semantics for Software Transactional Memory
      Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott
      Pages 275-294

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Principles of Distributed Systems, OPODIS 2008, held in Luxor, Egypt, in December 2008.

The 30 full papers and 11 short papers presented were carefully reviewed and selected from 102 submissions. The conference focused on the following topics: communication and synchronization protocols; distributed algorithms and multiprocessor algorithms; distributed cooperative computing; embedded systems; fault-tolerance, reliability and availability; grid and cluster computing; location- and context-aware systems; mobile agents and autonomous robots; mobile computing and networks; peer-to-peer systems and overlay networks; complexity and lower bounds; performance analysis of distributed systems; real-time systems; security issues in distributed computing and systems; sensor networks; specification and verification of distributed systems; and testing and experimentation with distributed systems.


Broadcast Overlay Quorum Roadcasting algorithms cluster computing complexity distributed computing distributed systems networks performance petri net robot routing verification

Editors and affiliations

  • Theodore P. Baker
    • 1
  • Alain Bui
    • 2
  • Sébastien Tixeuil
    • 3
  1. 1.Department of Computer ScienceFlorida State UniversityTallahasseeUSA
  2. 2.Université de Versailles-St-Quentin-en-YvelinesVersailles CedexFrance
  3. 3.LIP6 & INRIA Grand LargeUniversité Pierre et Marie Curie - Paris 6ParisFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-92220-9
  • Online ISBN 978-3-540-92221-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349