Dynamic Input/Output Automata: A Formal Model for Dynamic Systems.

Paul C. Attie, Nancy A. Lynch

Browse the full CONCUR paper archive.