Principles of Distributed Systems

16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings

  • Roberto Baldoni
  • Paola Flocchini
  • Ravindran Binoy
Conference proceedings OPODIS 2012

DOI: 10.1007/978-3-642-35476-2

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

Table of contents (24 papers)

  1. Front Matter
  2. FixMe: A Self-organizing Isolated Anomaly Detection Architecture for Large Scale Distributed Systems
    Emmanuelle Anceaume, Erwan Le Merrer, Romaric Ludinard, Bruno Sericola, Gilles Straub
    Pages 1-15
  3. Analyzing Global-EDF for Multiprocessor Scheduling of Parallel Tasks
    Björn Andersson, Dionisio de Niz
    Pages 16-30
  4. Range Queries in Non-blocking k-ary Search Trees
    Trevor Brown, Hillel Avni
    Pages 31-45
  5. On the Polling Problem for Social Networks
    Bao-Thien Hoang, Abdessamad Imine
    Pages 46-60
  6. Non-deterministic Population Protocols
    Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy
    Pages 61-75
  7. Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers
    Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
    Pages 76-90
  8. When and How Process Groups Can Be Used to Reduce the Renaming Space
    Armando Castañeda, Michel Raynal, Julien Stainer
    Pages 91-105
  9. Electing a Leader in Multi-hop Radio Networks
    Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Pelc
    Pages 106-120
  10. Tree Exploration by a Swarm of Mobile Agents
    Jurek Czyzowicz, Andrzej Pelc, Mélanie Roy
    Pages 121-134
  11. Crash Resilient and Pseudo-Stabilizing Atomic Registers
    Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
    Pages 135-150
  12. Directed Graph Exploration
    Klaus-Tycho Förster, Roger Wattenhofer
    Pages 151-165
  13. Optimal Broadcast in Shared Spectrum Radio Networks
    Mohsen Ghaffari, Seth Gilbert, Calvin Newport, Henry Tan
    Pages 181-195
  14. On the Impact of Identifiers on Local Decision
    Pierre Fraigniaud, Magnús M. Halldórsson, Amos Korman
    Pages 224-238
  15. Algorithms for Partial Gathering of Mobile Agents in Asynchronous Rings
    Masahiro Shibata, Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    Pages 254-268
  16. Causality, Influence, and Computation in Possibly Disconnected Synchronous Dynamic Networks
    Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
    Pages 269-283

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Principles of Distributed Systems, OPODIS 2012, held in Rome, Italy, in December 2012.

The 24 papers presented were carefully reviewed and selected from 89 submissions. The conference is an international forum for the exchange of state-of-the-art knowledge on distributed computing and systems. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.


autonomous robots fault tolerance finite state automata mobile computing social networks

Editors and affiliations

  • Roberto Baldoni
    • 1
  • Paola Flocchini
    • 2
  • Ravindran Binoy
    • 3
  1. 1.Dipartimento di Informatica, Automatica e GestionaleUniversità degli Studi di Roma “La Sapienza”RomeItaly
  2. 2.School of Electrical Engineering and Computer ScienceUniversity of OttawaOttawaCanada
  3. 3.Electrical and Computing Engineering Dept.Virginia Technical UniversityBlacksburgUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35475-5
  • Online ISBN 978-3-642-35476-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349