Lamport just never misses. Spurred by your comment and impressed at seeing Lamport again(!) I went and found this link to all of his published work: https://la

Lamport just never misses. Spurred by your comment and impressed at seeing Lamport again(!) I went and found this link to all of his published work: https://lamport.azurewebsites.net/pubs/pubs.html https://lamport.azurewebsites.net/pubs/pubs.html