Principles of Distributed Systems

17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

  • Roberto Baldoni
  • Nicolas Nisse
  • Maarten van Steen
Conference proceedings OPODIS 2013

DOI: 10.1007/978-3-319-03850-6

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

Table of contents (19 papers)

  1. Front Matter
  2. Tutorial Summary: Paxos Explained from Scratch
    Hein Meling, Leander Jehl
    Pages 1-10
  3. On Two-Party Communication through Dynamic Networks
    Sebastian Abshoff, Markus Benter, Manuel Malatyali, Friedhelm Meyer auf der Heide
    Pages 11-22
  4. Eventual Leader Election in Evolving Mobile Networks
    Luciana Arantes, Fabíola Greve, Pierre Sens, Véronique Simon
    Pages 23-37
  5. Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs
    Joffroy Beauquier, Peva Blanchard, Janna Burman
    Pages 38-52
  6. α-Register
    David Bonnin, Corentin Travers
    Pages 53-67
  7. How (Not) to Shoot in Your Foot with SDN Local Fast Failover
    Michael Borokhovich, Stefan Schmid
    Pages 68-82
  8. Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores
    Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra Marathe et al.
    Pages 83-97
  9. Reputation-Based Mechanisms for Evolutionary Master-Worker Computing
    Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro, Angel (Anxo) Sánchez
    Pages 98-113
  10. State-Driven Testing of Distributed Systems
    Domenico Cotroneo, Roberto Natella, Stefano Russo, Fabio Scippacercola
    Pages 114-128
  11. Self-stabilizing Resource Discovery Algorithm
    Seda Davtyan, Kishori M. Konwar, Alexander A. Shvartsman
    Pages 129-144
  12. Hybrid Distributed Consensus
    Roy Friedman, Gabriel Kliot, Alex Kogan
    Pages 145-159
  13. Speculative Concurrent Processing with Transactional Memory in the Actor Model
    Yaroslav Hayduk, Anita Sobe, Derin Harmanci, Patrick Marlier, Pascal Felber
    Pages 160-175
  14. An Optimal Broadcast Algorithm for Content-Addressable Networks
    Ludovic Henrio, Fabrice Huet, Justine Rochas
    Pages 176-190
  15. On Local Fixing
    Michael König, Roger Wattenhofer
    Pages 191-205
  16. VirtuCast: Multicast and Aggregation with In-Network Processing
    Matthias Rost, Stefan Schmid
    Pages 221-235
  17. Mobile Byzantine Agreement on Arbitrary Network
    Toru Sasaki, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    Pages 236-250

About these proceedings


This book constitutes the refereed proceedings of the 17th International Conference on Principles of Distributed Systems, OPODIS 2013, held in Nice, France, in December 2013. The 19 papers presented together with two invited talks were carefully reviewed and selected from 41 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.


communication complexity dynamic networks genetic algorithms network virtualization reinforcement learning

Editors and affiliations

  • Roberto Baldoni
    • 1
  • Nicolas Nisse
    • 2
  • Maarten van Steen
    • 3
  1. 1.Dipartimento di Ingegneria Informatica, Automatica e Gestionale ”Antonio Ruberti”Sapienza Research Center of Cyber Intelligence and Information Security and Università degli Studi di Roma ”La Sapienza”RomeItaly
  2. 2.CNRS, 13S, UMR 7271Inria France and Université Nice Sophia AntipolisSophia AntipolisFrance
  3. 3.Department of Computer ScienceVrije Universiteit AmsterdamAmsterdamThe Netherlands

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-03849-0
  • Online ISBN 978-3-319-03850-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349