On the existence of the minimum asynchronous automaton and on decision problems for unambiguous regular trace languages
2006 ◽
pp. 334-345
◽
Keyword(s):