{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:37Z","timestamp":1725574177068},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653844"},{"type":"electronic","value":"9783540493822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-540-49382-2_30","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T04:37:34Z","timestamp":1294461454000},"page":"319-330","source":"Crossref","is-referenced-by-count":4,"title":["On the Confluence of Trace Rewriting Systems"],"prefix":"10.1007","author":[{"given":"Markus","family":"Lohrey","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9771-7","volume-title":"String\u2013Rewriting Systems","author":"R.V. Book","year":"1993","unstructured":"Book, R.V., Otto, F.: String\u2013Rewriting Systems. Springer, Heidelberg (1993)"},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(85)90013-1","volume":"35","author":"R. Cori","year":"1985","unstructured":"Cori, R., M\u00e9tivier, Y.: Recognizable subsets of some partially abelian monoids. Theoretical Computer Science\u00a035, 179\u2013189 (1985)","journal-title":"Theoretical Computer Science"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-53031-2","volume-title":"Combinatorics on Traces","author":"V. Diekert","year":"1990","unstructured":"Diekert, V.: Combinatorics on Traces. In: Diekert, V. (ed.) Combinatorics on Traces. LNCS, vol.\u00a0454. Springer, Heidelberg (1990)"},{"volume-title":"The Book of Traces","year":"1995","key":"30_CR4","unstructured":"Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(86)90094-0","volume":"48","author":"C. Duboc","year":"1986","unstructured":"Duboc, C.: Mixed procuct and asynchronous automata. Theoretical Computer Science\u00a048, 183\u2013199 (1986)","journal-title":"Theoretical Computer Science"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Lohrey, M.: On the confluence of trace rewriting systems (1998), Available via http:\/\/inf.informatik.uni-stuttgart.de\/ifi\/ti\/personen\/Lohrey\/98a.ps","DOI":"10.1007\/978-3-540-49382-2_30"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations. DAIMI Rep. PB 1978, Aarhus University, Aarhus (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0020-0190(88)90049-X","volume":"29","author":"P. Narendran","year":"1988","unstructured":"Narendran, P., Otto, F.: Preperfectness is undecidable for Thue systems containing only length-reducing rules and a single commutation rule. Information Processing Letters\u00a029, 125\u2013130 (1988)","journal-title":"Information Processing Letters"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01185401","volume":"28","author":"C. Wrathall","year":"1995","unstructured":"Wrathall, C., Diekert, V.: On confluence of one-rule trace-rewriting systems. Mathematical Systems Theory\u00a028, 341\u2013361 (1995)","journal-title":"Mathematical Systems Theory"},{"key":"30_CR10","first-page":"99","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"Zielonka, W.: Notes on finite asynchronous automata. R.A.I.R.O. \u2014 Informatique Th\u00e9orique et Applications\u00a021, 99\u2013135 (1987)","journal-title":"R.A.I.R.O. \u2014 Informatique Th\u00e9orique et Applications"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49382-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T03:06:54Z","timestamp":1637118414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49382-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653844","9783540493822"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49382-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}