istoilkovska
Results
1
repositories owned by
istoilkovska
synchronous-tla-benchmarks
32
Stars
1
Forks
Watchers
Synchronous fault-tolerant distributed algorithms encoded in TLA+
