PSync: a partially synchronous language for fault-tolerant distributed algorithms