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
