Torres-Rojas, Francisco J. Timed consistency : Unifying model of consistensy protocols in distributed systems Standard No.: DIF-M4208