20 citations · 25 across the 10 of their papers we have counts for
1 paper · 1 filter
Paul C. Attie, Nancy A. Lynch
We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automa…