{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:31Z","timestamp":1725456211144},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030594","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T01:10:41Z","timestamp":1133399441000},"page":"165-176","source":"Crossref","is-referenced-by-count":3,"title":["Reliable generalized and context dependent commutation relations"],"prefix":"10.1007","author":[{"given":"Isabelle","family":"Biermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brigitte","family":"Rozoy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/3-540-60246-1_149","volume":"969","author":"S. Bauget","year":"1995","unstructured":"S. Bauget and P. Gastin. On congruences and partial orders. Lecture Notes in Computer Science, 969:434\u2013443, 1995. MFCS'95.","journal-title":"Lecture Notes in Computer Science"},{"key":"13_CR2","volume-title":"PhD thesis","author":"I. Biermann","year":"1995","unstructured":"I. Biermann. Extensions structurelles des traces de commutation. PhD thesis, Universit\u00e9 Paris-Sud, Orsay, France, 1995."},{"key":"13_CR3","unstructured":"I. Biermann and B. Rozoy. Context traces and transition systems. In ISCIS IX, Antalya, Turkey, 1994."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0890-5401(87)90040-X","volume":"73","author":"M. Clerbout","year":"1987","unstructured":"M. Clerbout and M. Latteux. Semi-commutations. Information and Computation, 73:59\u201374, 1987.","journal-title":"Information and Computation"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(92)90086-U","volume":"103","author":"M. Clerbout","year":"92","unstructured":"M. Clerbout and Y. Roos. Semi commutations and algebraic languages. Theoretical computer science, 103:39\u201349, 92.","journal-title":"Theoretical computer science"},{"key":"13_CR6","first-page":"21","volume":"19","author":"R. Cori","year":"1985","unstructured":"R. Cori and D. Perrin. Automates et commutations partielles. RAIRO Theoretical Informatics and Applications, 19:21\u201332, 1985.","journal-title":"RAIRO Theoretical Informatics and Applications"},{"key":"13_CR7","doi-asserted-by":"crossref","DOI":"10.1142\/2563","volume-title":"The book of traces","author":"V. Diekert","year":"1995","unstructured":"V. Diekert and G. Rozenberg. The book of traces. World Scientific Publ. Co., Singapour, 1995."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0020-0190(92)90187-Z","volume":"44","author":"P. Gastin","year":"1992","unstructured":"P. Gastin, E. Ochmanski, A. Petit, and B. Rozoy. Decidability of the star problem in a *\u00d7{b}*. Information Processing Letters, 44:65\u201371, 1992.","journal-title":"Information Processing Letters"},{"key":"13_CR9","unstructured":"P. Hoogers, H.C.M. Kleijn, and P.S. Thiagarajan. A trace semantics for Petri nets. Technical Report 92-03, Leiden University, 1992. to appear in 1995 in Information and Computation."},{"issue":"6","key":"13_CR10","first-page":"541","volume":"26","author":"J. Lacaze","year":"1992","unstructured":"J. Lacaze. Parties reconnaissables de mono\u00cfdes d\u00e9finis par g\u00e9n\u00e9rateurs et relations. R.A.I.R.O. Informatique th\u00e9orique et applications, 26(6):541\u2013552, 1992.","journal-title":"R.A.I.R.O. Informatique th\u00e9orique et applications"},{"key":"13_CR11","unstructured":"M. Lothaire. Combinatorics on words, volume 17 of Encyclopedia of Mathematics. Addison-Wesley, 1982."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Concurrent program schemes and their interpretations. Aarhus University, DAIMI Rep. PB 78, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1051\/ita\/1986200201211","volume":"20","author":"Y. M\u00e9tivier","year":"1986","unstructured":"Y. M\u00e9tivier. Une condition suffisante de reconnaissabilit\u00e9 dans un mono\u00cfde partiellement commutatif. R.A.I.R.O. Theoretical Informatics and Applications, 20:121\u2013127, 1986.","journal-title":"R.A.I.R.O. Theoretical Informatics and Applications"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-60084-1_64","volume":"944","author":"Y. M\u00e9tivier","year":"1995","unstructured":"Y. M\u00e9tivier, G. Richomme, and P. A. Wacrenier. Computing the closure of sets of words under partial commutations. Lecture Notes in Computer Science, 944:75\u201386, 1995. ICALP'95.","journal-title":"Lecture Notes in Computer Science"},{"key":"13_CR15","first-page":"56","volume":"27","author":"E. Ochmanski","year":"1985","unstructured":"E. Ochmanski. Regular behaviour of concurrent systems. Bulletin of EATCS, 27:56\u201367, October 1985.","journal-title":"Bulletin of EATCS"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:20:10Z","timestamp":1586578810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0030594","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}