{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:10:47Z","timestamp":1725491447579},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732075"},{"type":"electronic","value":"9783540732082"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73208-2_32","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T03:58:11Z","timestamp":1189569491000},"page":"337-345","source":"Crossref","is-referenced-by-count":1,"title":["A Star Operation for Star-Free Trace Languages"],"prefix":"10.1007","author":[{"given":"Edward","family":"Ochma\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krystyna","family":"Stawikowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Diekert, V., Metivier, Y.: Partial Commutation and Traces, in [12], pp. 457\u2013533 (1997)","DOI":"10.1007\/978-3-642-59126-6_8"},{"volume-title":"The Book of Traces","year":"1995","key":"32_CR2","unstructured":"Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-61377-3_41","volume-title":"Computer Science Logic","author":"M. Droste","year":"1996","unstructured":"Droste, M., Kuske, D.: Languages and Logical Definability in Concurrency Monoids. In: Kleine B\u00fcning, H. (ed.) CSL 1995. LNCS, vol.\u00a01092, pp. 233\u2013251. Springer, Heidelberg (1996)"},{"key":"32_CR4","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(95)00130-1","volume":"154","author":"W. Ebinger","year":"1996","unstructured":"Ebinger, W., Muscholl, A.: Logical Definability of Infinite Traces. Theoretical Computer Science\u00a0154, 67\u201384 (1996)","journal-title":"Theoretical Computer Science"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0304-3975(92)90080-Y","volume":"97","author":"G. Guaiana","year":"1992","unstructured":"Guaiana, G., Restivo, A., Salemi, S.: Star-free trace languages. Theoretical Computer Science\u00a097, 301\u2013311 (1992)","journal-title":"Theoretical Computer Science"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations. Report DAIMI-PB-78, Aarhus University (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"32_CR7","volume-title":"Counter-free Automata","author":"R. McNaughton","year":"1971","unstructured":"McNaughton, R., Papert, S.: Counter-free Automata. MIT Press, Cambridge, MA (1971)"},{"issue":"1","key":"32_CR8","first-page":"11","volume":"9","author":"R. McNaughton","year":"1960","unstructured":"McNaughton, R., Yamada, R.: Regular expressions and state graphs for automata. Trans. of IRE EC\u00a09(1), 11\u201318 (1960)","journal-title":"Trans. of IRE EC"},{"key":"32_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(95)00187-5","volume":"57","author":"A. Muscholl","year":"1996","unstructured":"Muscholl, A., Petersen, H.: A note on the commutative closure of star-free languages. Information Processing Letters\u00a057, 71\u201374 (1996)","journal-title":"Information Processing Letters"},{"issue":"1-3","key":"32_CR10","first-page":"323","volume":"72","author":"E. Ochma\u0144ski","year":"2006","unstructured":"Ochma\u0144ski, E., Stawikowska, K.: Star Free-Star and Trace Languages. Fundamenta Informaticae\u00a072(1-3), 323\u2013331 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"32_CR11","first-page":"1","volume-title":"Finite Automata. Handbook of Theoretical Computer Science","author":"D. Perrin","year":"1990","unstructured":"Perrin, D.: Finite Automata. Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 1\u201357. Elsevier, Amsterdam (1990)"},{"volume-title":"Handbook of Formal Languages","year":"1997","key":"32_CR12","unstructured":"Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol.\u00a03. Springer, Heidelberg (1997)"},{"key":"32_CR13","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M.P. Sch\u00fctzenberger","year":"1965","unstructured":"Sch\u00fctzenberger, M.P.: On finite monoids having only trivial subgroups. Information and Control\u00a08, 190\u2013194 (1965)","journal-title":"Information and Control"},{"key":"32_CR14","unstructured":"Stawikowska, K., Ochma\u0144ski, E.: On Star-Free Trace Languages and their Lexicographic Representations. In: LATA 2007 (to appear, 2007)"},{"key":"32_CR15","unstructured":"Thomas, W.: On Logical Definability of Trace Languages. In: Proc. of ASMICS workshop, Report TUM-I9002, pp. 172\u2013182 (1990)"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73208-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T21:34:25Z","timestamp":1558474465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73208-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732075","9783540732082"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73208-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}