{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:48:26Z","timestamp":1742996906819,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319214993"},{"type":"electronic","value":"9783319215006"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21500-6_19","type":"book-chapter","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T08:07:44Z","timestamp":1437120464000},"page":"240-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["*-Continuous Kleene $$\\omega $$-Algebras"],"prefix":"10.1007","author":[{"given":"Zolt\u00e1n","family":"\u00c9sik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uli","family":"Fahrenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,18]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Bloom, S.L., \u00c9sik, Z.: Iteration Theories: The Equational Logic of Iterative Processes. EATCS monographs on theoretical computer science. Springer (1993)","DOI":"10.1007\/978-3-642-78034-9_6"},{"key":"19_CR2","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall (1971)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85780-8_1","volume-title":"Developments in Language Theory","author":"Z \u00c9sik","year":"2008","unstructured":"\u00c9sik, Z.: Iteration semirings. In: Ito, M., Toyama, M. (eds.) DLT 2008. LNCS, vol. 5257, pp. 1\u201320. Springer, Heidelberg (2008)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"\u00c9sik, Z., Fahrenberg, U., Legay, A.: $$^*$$-continuous Kleene $$\\omega $$-algebras. CoRR (2015). http:\/\/arxiv.org\/abs\/1501.01118","DOI":"10.1007\/978-3-319-21500-6_19"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-319-02444-8_9","volume-title":"Automated Technology for Verification and Analysis","author":"Z \u00c9sik","year":"2013","unstructured":"\u00c9sik, Z., Fahrenberg, U., Legay, A., Quaas, K.: Kleene algebras and semimodules for energy problems. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 102\u2013117. Springer, Heidelberg (2013)"},{"issue":"2","key":"19_CR6","first-page":"173","volume":"8","author":"Z \u00c9sik","year":"2002","unstructured":"\u00c9sik, Z., Kuich, W.: Rationally additive semirings. J. Univ. Comput. Sci. 8(2), 173\u2013183 (2002)","journal-title":"J. Univ. Comput. Sci."},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.03.050","volume":"324","author":"Z \u00c9sik","year":"2004","unstructured":"\u00c9sik, Z., Kuich, W.: Inductive star-semirings. TCS 324(1), 3\u201333 (2004)","journal-title":"TCS"},{"key":"19_CR8","first-page":"203","volume":"10","author":"Z \u00c9sik","year":"2005","unstructured":"\u00c9sik, Z., Kuich, W.: A semiring-semimodule generalization of $$\\omega $$-regular languages, Parts 1 and 2. J. Aut. Lang. Comb. 10, 203\u2013264 (2005)","journal-title":"J. Aut. Lang. Comb."},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s00233-007-0709-7","volume":"75","author":"Z \u00c9sik","year":"2007","unstructured":"\u00c9sik, Z., Kuich, W.: On iteration semiring-semimodule pairs. Semigroup Forum 75, 129\u2013159 (2007)","journal-title":"Semigroup Forum"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"\u00c9sik, Z., Kuich, W.: Finite automata. In: Handbook of Weighted Automata. Springer (2009)","DOI":"10.1007\/978-3-642-01492-5_3"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/BFb0029594","volume-title":"Mathematical Foundations of Computer Science 1990","author":"D Kozen","year":"1990","unstructured":"Kozen, D.: On kleene algebras and closed semirings. In: Rovan, B. (ed.) MFCS 1990. LNCS, vol. 452, pp. 26\u201347. Springer, Heidelberg (1990)"},{"issue":"2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366\u2013390 (1994)","journal-title":"Inf. Comput."},{"issue":"2","key":"19_CR13","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0304-3975(91)90395-I","volume":"89","author":"D Krob","year":"1991","unstructured":"Krob, D.: Complete systems of B-rational identities. TCS 89(2), 207\u2013343 (1991)","journal-title":"TCS"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/3-540-54233-7_166","volume-title":"Automata, Languages and Programming","author":"T Wike","year":"1991","unstructured":"Wike, T.: An eilenberg theorem for $$\\infty $$-languages. In: Albert, J.L., Monien, B., Artalejo, M.R. (eds.) ICALP. LNCS, vol. 510, pp. 588\u2013599. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21500-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T10:44:24Z","timestamp":1676025864000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21500-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319214993","9783319215006"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21500-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}