4 ms·
To save others the trouble, here's the link that introduces the TLA (three-letter acronym), TLA+: http://research.microsoft.com/en-us/um/people/lamport/tla/tla
by tomkinstinch 11y ago
To save others the trouble, here's the link that introduces the TLA (three-letter acronym), TLA+:
http://research.microsoft.com/en-us/um/people/lamport/tla/tla-intro.html http://research.microsoft.com/en-us/um/people/lamport/tla/tl...