Branching automata with costs - a way of reflecting parallelism in costs

Authors: 
Kuske, D.
Meinecke, Ingmar
Year: 
2004
Language: 
English
Appeared / Erschienen in: 
Theoretical Computer Science 328 (2004), 53-75.
Abstract link: 
http://www.informatik.uni-leipzig.de/~kuske/pub2004.html#TCS1