2 ms·
The TLA+ book, freely available online: https://lamport.azurewebsites.net/tla/book.html https://lamport.azurewebsites.net/tla/book.html
by Tomte 2y ago
The TLA+ book, freely available online: https://lamport.azurewebsites.net/tla/book.html https://lamport.azurewebsites.net/tla/book.html