机译:Ranching automata with costs - a way of reflecting parallelism in costs
Tech Univ Dresden, Inst Algebra, D-01062 Dresden, Germany;
concurrency; weighted automata; sp-posets; formal power series; bisemiring; FORMAL POWER-SERIES; POMSETS; THEOREM;