Dynamic input/output automata, a formal model for dynamic systems.

Paul C. Attie, Nancy A. Lynch

Browse the full PODC paper archive.