Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen.

Tutorial Summary: Paxos Explained from Scratch -- On Two-Party Communication through Dynamic Networks -- Eventual Leader Election in Evolving Mobile Networks -- Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs -- α-Register -- How (Not) to Shoot in Your Foot with SDN Local Fast Failover: A Load-Connectivity Tradeoff -- Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores -- Reputation-Based Mechanisms for Evolutionary Master-Worker Computing -- State-Driven Testing of Distributed Systems -- Self-stabilizing Resource Discovery Algorithm -- Hybrid Distributed Consensus -- Speculative Concurrent Processing with Transactional Memory in the Actor Model -- An Optimal Broadcast Algorithm for Content-Addressable Networks On Local Fixing -- A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention -- VirtuCast: Multicast and Aggregation with In-Network Processing: An Exact Single-Commodity Algorithm -- Mobile Byzantine Agreement on Arbitrary Network -- On Scheduling Algorithms for MapReduce Jobs in Heterogeneous Clouds with Budget Constraints -- Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors.