head.daveops.net

Snippets for yer computer needs

TLA+

http://lamport.azurewebsites.net/tla/high-level-view.html Thinking for Programmers https://www.microsoft.com/en-us/research/uploads/prod/1991/12/The-Temporal-Logic-of-Actions-Previous.pdf https://www.microsoft.com/en-us/research/uploads/prod/2018/05/book-02-08-08.pdf