1. A toolkit for implementing fault-tolerant distributed

systems, developed at Cornell and now available commercially