/snapshot-isolation-spec

A formal specification of snapshot isolation.

Primary LanguageTLA

Stargazers