Browsing Journal Articles and Proceedings by Author "Attie, Paul C."

Now showing items 1-1 of 1

Dynamic input/output automata: A formal and compositional model for dynamic systems

Attie, Paul C.; Lynch, Nancy Ann (Elsevier BV, 2016-03)

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 automaton can dynamically change its signature, ...