Principles of Distributed Systems

14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

  • Chenyang Lu
  • Toshimitsu Masuzawa
  • Mohamed Mosbah
Conference proceedings OPODIS 2010

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

Table of contents

  1. Front Matter
  2. Robots

    1. Nao Fujinaga, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita
      Pages 1-15
    2. Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil
      Pages 16-31
  3. Randomization in Distributed Algorithms

    1. Andrés Sevilla, Alberto Mozo, M. Araceli Lorenzo, Jose Luis López-Presa, Pilar Manzano, Antonio Fernández Anta
      Pages 32-47
    2. Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves
      Pages 48-63
    3. Emmanuelle Anceaume, Yann Busnel, Sébastien Gambs
      Pages 64-78
  4. Brief Announcements I

    1. Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
      Pages 83-86
  5. Graph Algorithms

    1. Alejandro Cornejo, Nancy Lynch
      Pages 87-102
    2. Ioannis Chatzigiannakis, Christos Koninis, Panagiota N. Panagopoulou, Paul G. Spirakis
      Pages 103-118
    3. Jérémie Chalopin, Shantanu Das, Adrian Kosowski
      Pages 119-134
  6. Brief Announcements II

  7. Fault-Tolerance

    1. Francesco Palmieri, Silvio Pardi, Paolo Veronesi
      Pages 159-172
    2. Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
      Pages 173-188
  8. Distributed Programming

    1. Eli Gafni, Sergio Rajsbaum
      Pages 205-218
    2. Marcin Bienkowski, André Brinkmann, Marek Klonowski, Miroslaw Korzeniowski
      Pages 219-234
    3. Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial
      Pages 235-252
  9. Real-Time

    1. Farhang Nemati, Thomas Nolte, Moris Behnam
      Pages 253-269
    2. Piyush Garyali, Matthew Dellinger, Binoy Ravindran
      Pages 270-285
    3. Jeremy Erickson, Nan Guan, Sanjoy Baruah
      Pages 286-301
  10. Shared Memory

    1. Anders Gidenstam, Håkan Sundell, Philippas Tsigas
      Pages 302-317
    2. Danny Hendler, Shay Kutten, Erez Michalak
      Pages 318-332
    3. Yehuda Afek, Hillel Avni, Dave Dice, Nir Shavit
      Pages 333-347
    4. Gokarna Sharma, Costas Busch
      Pages 348-363
  11. Concurrency

    1. Yehuda Afek, Guy Korland, Eitan Yanovsky
      Pages 395-410
    2. Doron Nussbaum, Nicola Santoro
      Pages 427-442
    3. Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks
      Pages 443-458
    4. Fei Huang, Maleq Khan, Binoy Ravindran
      Pages 459-474
    5. Yukiko Yamauchi, Sébastien Tixeuil
      Pages 475-490
    6. Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita
      Pages 491-503
    7. Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada
      Pages 504-515
  12. Back Matter

About these proceedings


The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14–17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and Nˆ?mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: – Communication and synchronization protocols – Distributed algorithms, multiprocessor algorithms – Distributed cooperative computing – Embedded systems – Fault-tolerance, reliability, availability – Grid and cluster computing – Location- and context-aware systems – Mobile agents and autonomous robots – Mobile computing and networks – Peer-to-peer systems, overlay networks – Complexity and lower bounds – Performance analysis of distributed systems – Real-time systems – Security issues in distributed computing and systems – Sensor networks: theory and practice – Speci?cation and veri?cation of distributed systems – Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to the conference topics.


Broadcast Partition calculus complexity concurrency distributed algorithms distributed systems fault-tolerance graph algorithm memory programming proving robot shared memory wireless sensor networks

Editors and affiliations

  • Chenyang Lu
    • 1
  • Toshimitsu Masuzawa
    • 2
  • Mohamed Mosbah
    • 3
  1. 1.Department of Computer Science and EngineeringWashington UniversitySt. LouisUSA
  2. 2.Osaka UniversityJapan
  3. 3.LaBRIUniversity of BordeauxTalenceFrance

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-17652-4
  • Online ISBN 978-3-642-17653-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment