Disalg-ICS-NJU
Popular repositories Loading
-
-
-
distributed-system-learning
distributed-system-learning PublicCollection of courses, papers, and experiments focusing on distributed systems
-
IPA
IPA PublicForked from HappyCS-Gu/IPA
IPA(Interaction-Preserving Abstraction) is a framework that leverages characteristics of TLA+ and enables practical and efficient compositional model checking for TLA+ specifications of distributed…
-
Repositories
Showing 6 of 6 repositories
- zookeeper-tla-spec Public
Disalg-ICS-NJU/zookeeper-tla-spec’s past year of commit activity - algocentric Public
Disalg-ICS-NJU/algocentric’s past year of commit activity - distributed-system-learning Public
Collection of courses, papers, and experiments focusing on distributed systems
Disalg-ICS-NJU/distributed-system-learning’s past year of commit activity - IPA Public Forked from HappyCS-Gu/IPA
IPA(Interaction-Preserving Abstraction) is a framework that leverages characteristics of TLA+ and enables practical and efficient compositional model checking for TLA+ specifications of distributed consensus protocols.
Disalg-ICS-NJU/IPA’s past year of commit activity - PaxosStore-TLA Public
Disalg-ICS-NJU/PaxosStore-TLA’s past year of commit activity