3 ms·
Beyond the Code: TLA+ and the Art of Abstraction
- jbritton 3y agoI don’t know TLA+, but I find it interesting that the author indicates one of the strengths of TLA+ is it’s shared global memory when as programmers one is advised to never have global shared memory.