Representation of computations in concurrent automata by dependence orders
scientific article; zbMATH DE number 1213157
scientific article