Distributed computing : 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings (2013)