Durch Anwendung regelbasierter Umschreibungen können verteilte Protokolle wie 2PC und Paxos skaliert werden, ohne dass zusätzliche Koordination erforderlich ist.