Algorithms for Timed Consistency Models. - Moritz Schattka (CoRR, 2013)