Reading the Generalized Isolation Level Definitions paper with Alloy (via eatonphil) — discussion
#databases #formalmethods
