{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:31Z","timestamp":1725493591033},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405610"},{"type":"electronic","value":"9783540450894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45089-0_15","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T07:27:35Z","timestamp":1193470055000},"page":"150-162","source":"Crossref","is-referenced-by-count":2,"title":["Branching Automata with Costs \u2014 A Way of Reflecting Parallelism in Costs"],"prefix":"10.1007","author":[{"given":"Dietrich","family":"Kuske","sequence":"first","affiliation":[]},{"given":"Ingmar","family":"Meinecke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(82)90019-6","volume":"18","author":"J. Berstel","year":"1982","unstructured":"J. Berstel and C. Reutenauer. Recognizable formal power series on trees. Theoret. Comp. Sc., 18:115\u2013148, 1982.","journal-title":"Theoret. Comp. Sc."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"J. Berstel and C. Reutenauer. Rational Series and Their Languages, volume 12 of EATCS Monographs on Theoret. Comp. Sc. Springer, 1988.","DOI":"10.1007\/978-3-642-73235-5"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1006\/inco.1999.2799","volume":"153","author":"M. Droste","year":"1999","unstructured":"M. Droste and P. Gastin. The Kleene-Sch\u00fctzenberger theorem for formal power series in partially commuting variables. Information and Computation, 153:47\u201380, 1999.","journal-title":"Information and Computation"},{"key":"15_CR4","series-title":"Lect Notes Comput Sci","volume-title":"ICALP 2003","author":"M. Droste","year":"2003","unstructured":"M. Droste and D. Kuske. Skew and infinitary formal power series. In ICALP 2003, Lecture Notes in Computer Science. Springer, 2003. Accepted."},{"key":"15_CR5","unstructured":"M. Droste and H. Vogler. A Kleene theorem for weighted tree automata. Technical Report TUD-FI02-04, TU Dresden, June 2002."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J. L. Gischer","year":"1988","unstructured":"J. L. Gischer. The equational theory of pomsets. Theoret. Comp. Sc., 61:199\u2013224, 1988.","journal-title":"Theoret. Comp. Sc."},{"issue":"2","key":"15_CR7","first-page":"427","volume":"4","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Ann. Soc. Math. Pol. IV: Fund. Math., 4(2):427\u2013498, 1981.","journal-title":"Ann. Soc. Math. Pol. IV: Fund. Math."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"S.E. Kleene. Representations of events in nerve nets and finite automata. In C.E. Shannon and J. McCarthy, editors, Automata Studies, pages 3\u201342. Princeton University Press, 1956.","DOI":"10.1515\/9781400882618-002"},{"key":"15_CR9","unstructured":"W. Kuich. Formal power series over trees. In Proc. of the 3rd International Conference Developments in Language Theory, pages 60\u2013101. Aristotle University of Thessaloniki, 1997."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"W. Kuich and A. Salomaa. Semirings, Automata, Languages, volume 5 of EATCS Monographs on Theoret. Comp. Sc. Springer, 1986.","DOI":"10.1007\/978-3-642-69959-7_2"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0304-3975(02)00370-5","volume":"299","author":"D. Kuske","year":"2003","unstructured":"D. Kuske. Towards a language theory for infinite N-free pomsets. Theoret. Comp. Sc., 299:347\u2013386, 2003.","journal-title":"Theoret. Comp. Sc."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"D. Kuske and I. Meinecke. Branching automata with costs-a way of reflecting parallelism in costs. Technical Report MATH-AL-4-2003, TU Dresden, March 2003. see www.math.tu-dresden.de\/~meinecke.","DOI":"10.1007\/3-540-45089-0_15"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0304-3975(00)00031-1","volume":"237","author":"K. Lodaya","year":"2000","unstructured":"K. Lodaya and P. Weil. Series-parallel languages and the bounded-width property. Theoret. Comp. Sc., 237:347\u2013380, 2000.","journal-title":"Theoret. Comp. Sc."},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1006\/inco.2001.3077","volume":"171","author":"K. Lodaya","year":"2001","unstructured":"K. Lodaya and P. Weil. Rationality in algebras with a series operation. Information and Computation, 171:269\u2013293, 2001.","journal-title":"Information and Computation"},{"key":"15_CR15","series-title":"Lect Notes Comput Sci","volume-title":"14th International Symposium on Fundamentals of Computation Theory (FCT 2003)","author":"Ch. Pech","year":"2003","unstructured":"Ch. Pech. Kleene\u2019s theorem for weighted tree automata. In 14th International Symposium on Fundamentals of Computation Theory (FCT 2003), Lecture Notes in Computer Science. Springer, 2003. Accepted."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"A. Salomaa and M. Soittola. Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science. Springer, 1978.","DOI":"10.1007\/978-1-4612-6264-0"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0019-9958(61)80020-X","volume":"4","author":"M.P. Sch\u00fctzenberger","year":"1961","unstructured":"M.P. Sch\u00fctzenberger. On the definition of a family of automata. Information and Control, 4:245\u2013270, 1961.","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45089-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:08:16Z","timestamp":1556935696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45089-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405610","9783540450894"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45089-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}