3 ms·

Thanks for the nice explanation, that makes a lot of sense! Would you have any good recommendations about where to start with TLA+? Thanks again!

• pron 2y ago
  I would recommend the TLA+ Video Course: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html There are other good resources (some somewhat updated, but not enough to matter) are listed here: https://lamport.azurewebsites.net/tla/learning.html https://lamport.azurewebsites.net/tla/learning.html