Nyman, Ulrik

• BRICS Report Series No. 11 (2006): RS-11 An Interface Theory for Input/Output Automata - Articles
  An Interface Theory for Input/Output Automata
  Abstract  PDF