TY  - RPRT
TI  - Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems
AU  - Paul C. Attie
AU  - Nancy A. Lynch
PY  - 2016
DO  - 10.1016/j.ic.2016.03.008
UR  - https://arxiv.org/abs/1604.06030
ID  - 1604.06030
ER  -