1. A toolkit for implementing fault-tolerant distributed systems, developed at Cornell and now available commercially