Synchronous fault-tolerant distributed algorithms encoded in TLA+
Primary LanguageTLAOtherNOASSERTION