- Roberto Baldoni, Nicolas Nisse, Maarten van Steen, editors, Principles of Distributed Systems - 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings. Volume 8304 of Lecture Notes in Computer Science, Springer, 2013.