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
    16. Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong Cho
      Pages 295-310
    17. Tiziana Calamoneri, Emanuele G. Fusco, Andrzej Pelc
      Pages 311-330
    18. Boaz Patt-Shamir, Dror Rawitz, Gabriel Scalosub
      Pages 331-345
    19. Thomas Clouser, Mark Miyashita, Mikhail Nesterenko
      Pages 346-362
    20. Heinrich Moser, Ulrich Schmid
      Pages 363-387
    21. Joël Goossens, Dragomir Milojevic, Vincent Nélis
      Pages 388-407
    22. Borzoo Bonakdarpour, Sandeep S. Kulkarni
      Pages 408-427
    23. Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal
      Pages 428-445
    24. Ralf Klasing, Adrian Kosowski, Alfredo Navarra
      Pages 446-462
    25. Shantanu Das, Matúš Mihalák, Rastislav Šrámek, Elias Vicari, Peter Widmayer
      Pages 463-480
    26. Nicolas Schiper, Fernando Pedone
      Pages 481-495
    27. Stefan Dobrev, Rastislav Královič, Dana Pardubská
      Pages 512-526
    28. Vincent Gramoli, Derin Harmanci, Pascal Felber
      Pages 527-533
    29. Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
      Pages 534-537
    30. Nikola Trčka, Wil van der Aalst, Carmen Bratosin, Natalia Sidorova
      Pages 538-541
    31. Hyeong S. Kim, Eunjin (EJ) Jung, Heon Y. Yeom
      Pages 542-545
    32. David Coudert, Florian Huc, Dorian Mazauric
      Pages 546-550
    33. André Brinkmann, Sascha Effert
      Pages 551-554
    34. Pierre Sens, Luciana Arantes, Mathieu Bouillaguet, Véronique Simon, Fabíola Greve
      Pages 555-559
    35. Andrew Lutomirski, Victor Luchangco
      Pages 560-563
    36. Olivier Beaumont, Nicolas Bonichon, Philippe Duchon, Lionel Eyraud-Dubois, Hubert Larchevêque
      Pages 564-567
    37. Hyon-Young Choi, Kwang-Ryoul Kim, Hyo-Beom Lee, Sung-Gi Min
      Pages 568-571
    38. Björn Andersson
      Pages 572-577
  4. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-540-92220-9
  • Online ISBN 978-3-540-92221-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking