Branching automata with costs -- a way of reflecting parallelism in costs
scientific article; zbMATH DE number 2126084
scientific article