Hybrid Input/Output Automata: Theory and Applications Nancy Lynch, MIT Mathematical Foundations of Programming Semantics Montreal, Canada March 20, 2003 Joint work with Roberto…
