Hagit Attiya - Agreement and the Ordering of Events in a Distributed System