Giters
NicolasT
/
panagia
An island close to Paxos
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
2
Issues:
7
Forks:
NicolasT/panagia Issues
Implement messaging layer
Updated
2 years ago
Comments count
1
Implement Learner node type
Closed
2 years ago
Model-checking of Single-Decree Paxos
Closed
2 years ago
Model-only implementation of Single-Decree Paxos
Closed
2 years ago
Implement demo service
Updated
2 years ago
Add networking encryption and authentication
Updated
2 years ago
Implement persistent state storage layer
Updated
2 years ago