3 ms·
Yes Lamport started and maintains TLA+. I found his hyperbook to be a good introduction to TLA+ and PlusCal. http://lamport.azurewebsites.net/tla/hyperbook.html
by gabuzome 9y ago
Yes Lamport started and maintains TLA+. I found his hyperbook to be a good introduction to TLA+ and PlusCal.
http://lamport.azurewebsites.net/tla/hyperbook.html http://lamport.azurewebsites.net/tla/hyperbook.html