Fault Tolerance Abstractions

Constructing fault-tolerant distributed systems is hard. The fundamental reason for this complexity is a lack of suitable abstractions for constructing fault-tolerant services. We have contributed to this end with the following projects: