Distributed computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14 - 18, 2013 ; proceedings (Lecture notes in computer Science, 2013)