mongodb-labs/conflict-free-si-specs
Formal specifications for research on avoiding conflicts in snapshot isolation.
Stars: 0Language: TLA
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubFormal specifications for research on avoiding conflicts in snapshot isolation.