Principles of Distributed Systems : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings - Roberto Baldoni, Nicolas Nisse, Maarten Steen ((Lecture Notes in Computer Science))