This is your work, valued
synchronous-tla-benchmarks. Synchronous fault-tolerant distributed algorithms encoded in TLA+
syncTA. Encodings of synchronous fault-tolerant distributed algorithms as synchronous threshold automata
