Proceedings of the 2013 ACM symposium on Principles of distributed computing - Fatourou, Panagiota (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Operating Systems; ACM Special Interest Group on Algorithms; Computation Theory (ACM, 2013)