The Theory of Timed I/O Automata: Second Addition by Segala, Roberto, Vaandrager, Frits, Lynch, Nancy, Kaynar, Dilsun fromSynthesis Lectures on Distributed Computing Theory Ser 0 Type: Book
Transactional Memory: the Theory by Guerraoui, Rachid, Kapalka, Michal, Lynch, Nancy fromSynthesis Lectures on Distributed Computing Theory Ser 0 Type: Book
