TY - BOOK AU - Kaynar,Dilsun K. TI - The theory of timed I-O automata T2 - Synthesis lectures on distributed computing theory SN - 9781608450022 (rústica) AV - QA267.5T45 K39 PY - 2011/// CY - [San Rafael, California] PB - Morgan & Claypool KW - Autómata temporal ER -