21st International Conference on Principles of Distributed systems OPODIS 2017, December 18-20, 2017, Lisboa, Portugal - Aspnes, James; Bessani, Alysson; Felber, Pascal; Leitão, João (LIPIcs - Leibniz International Proceedings in Informatics, 2018)