Giters
istoilkovska

istoilkovska

Geek Repo

8

followers

0

following

0

stars

Github PK Tool:Github PK Tool

istoilkovska's repositories

istoilkovska.github.io

Stargazers:0Issues:0Issues:0

syncTA

Encodings of synchronous fault-tolerant distributed algorithms as synchronous threshold automata

Language:PythonLicense:NOASSERTIONStargazers:3Issues:0Issues:0

synchronous-tla-benchmarks

Synchronous fault-tolerant distributed algorithms encoded in TLA+

Language:TLALicense:NOASSERTIONStargazers:32Issues:0Issues:0