The Theta-Model: achieving synchrony without clocks - Widder, Josef; Schmid, Ulrich (Distributed Computing, 2009)