Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
Encodings of synchronous fault-tolerant distributed algorithms as synchronous threshold automata
Synchronous fault-tolerant distributed algorithms encoded in TLA+