DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds