- Consensus in the wild : lot of way to achieve consensus out there but which one is the most efficient for your requirements. Answer : it depends and we have no consensus.
- IronFleet: Tool for proving corectness of practical distributed systems using TLA-style state-machine refinement and Hoare-logic verification.
- AtlasDB : Transactional Distributed Database layer on top of K/V store.
No comments :
Post a Comment