Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators
[4]Luca Aceto.An interview with Nancy Lynch and Roberto Segala, CONCUR Test-of-Time Award recipients.processalgebra.blogspot.com, April 2020. [5]Yehuda Afek, Hagi... [28]Simon Doherty, Lindsay Groves, Victor Luchangco, and Mark Moir.Towards formally specifying and verifying transactional memory.Formal Aspects Comput., 25(5):769–...