For anyone interested, Dr. Lamport has a book called "Specifying Systems", which has more in-depth explanations of many of the topics in the linked paper: http

For anyone interested, Dr. Lamport has a book called "Specifying Systems", which has more in-depth explanations of many of the topics in the linked paper: http://lamport.azurewebsites.net/tla/book-21-07-04.pdf http://lamport.azurewebsites.net/tla/book-21-07-04.pdf