Representation of computations in concurrent automata by dependence orders (1997)

by F Bracho, M Droste, D Kuske
Venue:Theoretical Computer Science