3 ms·
Would TLA be of any help to you? https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html https://research.microsoft.com/en-us/um/people/lamport/tla/
by bahjoite 10y ago
Would TLA be of any help to you? https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html https://research.microsoft.com/en-us/um/people/lamport/tla/t...