Fabric: a platform for secure distributed computation and storage
Distributed deadlock detection