2 ms·"TLA+ in Practice and Theory Part 2: The + in TLA+"by turtleyacht 3y ago"TLA+ in Practice and Theory Part 2: The + in TLA+"