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

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Rachid Guerraoui
      Pages 1-1
  3. Regular Papers

    1. Michael G. Merideth, Michael K. Reiter
      Pages 5-21
    2. Eduardo A. P. Alchieri, Alysson Neves Bessani, Joni da Silva Fraga, Fabíola Greve
      Pages 22-40
    3. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg
      Pages 41-57
    4. Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld
      Pages 58-72
    5. Sanjoy Baruah, Joël Goossens
      Pages 89-104
    6. Björn B. Brandenburg, James H. Anderson
      Pages 105-124
    7. Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita
      Pages 125-144
    8. Samia Souissi, Yan Yang, Xavier Défago
      Pages 145-163
    9. Antonio Fernández Anta, Alessia Milani
      Pages 164-183
    10. Marcin Bienkowski, André Brinkmann, Miroslaw Korzeniowski
      Pages 184-196
    11. Dan Dobre, Matthias Majuntke, Neeraj Suri
      Pages 197-216
    12. Emmanuelle Lebhar, Nicolas Schabanel
      Pages 217-225
    13. Eli Gafni
      Pages 246-258
    14. Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
      Pages 259-274
    15. 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

  • DOI
  • 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
  • About this book