Figure: A distributed computation

Figure: Formal description of the fault-tolerant vector clock

Figure: A formal description of the version end table mechanism

Figure: An optimistic protocol for asynchronous recovery

Figure: An example of recovery