GitHub repository: lorin/tla-linearizability
Primary language: TLA
Created: 2018-10-20T04:58:50Z
Description: Reading the linearizability paper with TLA+