4 ms·TLA+ in Practice and Theory, Part 2: The + in TLA+1 points by losfair 3y agoturtleyacht 3y ago"TLA+ in Practice and Theory Part 2: The + in TLA+"