The theory of timed I/O Automata by Kaynar, Dilsun fromSynthesis lectures on distributed compting theory 0 Type: Book