Mukund, Madhavan
-
BRICS Report Series No. 58 (1995): RS-58 Determinizing Asynchronous Automata on Infinite Inputs - Articles
Determinizing Asynchronous Automata on Infinite Inputs
Abstract PDF -
BRICS Report Series No. 52 (1999): RS-52 Towards a Theory of Regular MSC Languages - Articles
Towards a Theory of Regular MSC Languages
Abstract PDF