So a bit of digging brought up this [1], which seems to be a list of all relevant papers. It's annotated with short summaries and historical background by Lesl

So a bit of digging brought up this [1], which seems to be a list of all relevant papers. It's annotated with short summaries and historical background by Leslie Lamport himself. Seems like a great starting point! Still, I'd love to hear some specific recommendations for the topic you mentioned, it sounds super interesting. [1] https://lamport.azurewebsites.net/pubs/pubs.html https://lamport.azurewebsites.net/pubs/pubs.html