Catalin Dima Distributed Real-Time Automata. 131-140 2003 conf/birthday/2003paun Grammars and Automata for String Processing db/conf/birthday/paun2003.html#Dima03