2 ms·
Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html http://lamport.azurewebsites.net/tla/learning.html
by lemmster 7y ago
Lamport lists various learning resources on his page: http://lamport.azurewebsites.net/tla/learning.html http://lamport.azurewebsites.net/tla/learning.html