An Introduction to Input/Output Automata. Qihua Wang. Organization. Overview of the I/O automaton model; Composition of I/O automata; Fairness ...
確定! 回上一頁