Achieving consistency of replicated copies with the relay race method

Relay race is a method for maintaining the consistency of replicated copes. A relay is a stream of bitransactions (binary transactions) propagating updates like a wave. Each bitransaction is atomic while the global process is asynchronous in the sense that a bitransaction starts as soon as the previous one commits. The goal is to extend relay race for supporting temporal consistency constraints. Temporal consistency is treated through a couple of consistency rules; one simply checks the consistency of a copy and does not depend on any consistency predicate; the other one implements the protocol for restoring the consistency of a copy whenever the associated consistency predicate becomes true