Mukund, Madhavan
-
BRICS Report Series Nr. 58 (1995): RS-58 Determinizing Asynchronous Automata on Infinite Inputs - Artikler
Determinizing Asynchronous Automata on Infinite Inputs
Resumé PDF (English) -
BRICS Report Series Nr. 52 (1999): RS-52 Towards a Theory of Regular MSC Languages - Artikler
Towards a Theory of Regular MSC Languages
Resumé PDF (English)