Automata on Directed Graphs: Edge Versus Vertex Marking.

Dietmar Berwanger David Janin Automata on Directed Graphs: Edge Versus Vertex Marking. 46-60 2006 conf/gg/2006 ICGT http://dx.doi.org/10.1007/11841883_5 db/conf/gg/icgt2006.html#BerwangerJ06