Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ..

Nancy A. Lynch. Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... In Roberto M. Amadio, Denis Lugiez, editors, CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Volume 2761 of Lecture Notes in Computer Science, pages 187-188, Springer, 2003. [doi]

Abstract

Abstract is missing.