Dependence Orders for Computations of Concurrent Automata.

Felipe Bracho, Manfred Droste, Dietrich Kuske

Browse the full STACS paper archive.