{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:35Z","timestamp":1725642035140},"publisher-location":"London","reference-count":21,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_7","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:47:45Z","timestamp":1323640065000},"page":"101-115","source":"Crossref","is-referenced-by-count":0,"title":["Graphs for Generalized Traces"],"prefix":"10.1007","author":[{"given":"I.","family":"Biermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Rozoy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"On an extension of asynchronous automata. Technical Report 93-10-R","author":"A Arnold","year":"1993","unstructured":"A. Arnold and J.F. Husson. On an extension of asynchronous automata. Technical Report 93-10-R, Institut de Recherche en Informatique de Toulouse, France, 1993."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"IJ Aalbersberg","year":"1988","unstructured":"I.J. Aalbersberg and G. Rozenberg. Theory of traces. Theoretical Computer Science, 60(l):l\u201382, 1988.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"7_CR3","first-page":"335","volume":"25","author":"A. Arnold. An extension of the notion of traces and of asynchronous automata","year":"1991","unstructured":"A. Arnold. An extension of the notion of traces and of asynchronous automata. RAIRO, Theoretical Informatics and Applications, 25 (4): 335\u2013393, 1991.","journal-title":"RAIRO, Theoretical Informatics and Applications"},{"key":"7_CR4","first-page":"1994","volume-title":"Generalized traces and partial orders. TR, LRI 95\u2013947","author":"S Bauget","year":"1994","unstructured":"S. Bauget, I. Biermann, and B. Rozoy. Generalized traces and partial orders. TR, LRI 95\u2013947, Orsay, France. Presentation at the Caliban meeting (Zaragoza, June 1994 ), 1994."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"BDK95] F. Bracho, M. Droste, and D. Kuske. Dependence orders for computations of concurrent automata. Lecture Notes in Computer Science, 900:467\u2013478, 1995. STACS\u201995.","DOI":"10.1007\/3-540-59042-0_97"},{"key":"7_CR6","volume-title":"to appear in MFCS95","author":"S Bauget","year":"1995","unstructured":"S. Bauget and P. Gastin. On congruences and partial orders. TR, LITP, Paris, France, to appear in MFCS\u201995, 1995."},{"key":"7_CR7","unstructured":"I. Biermann and B. Rozoy. Context traces and transition systems. In ISCIS IX, Antalya, Turkey, 1994."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"V. Diekert. Combinatorics on traces. Lecture Notes in Compuetr Science, 520, 1990.","DOI":"10.1007\/3-540-53031-2"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(89)90117-5","volume":"68","author":"M Droste","year":"1989","unstructured":"M. Droste. Event structures and domains. Theoretical Computer Science, 68: 37\u201347, 1989.","journal-title":"Theoretical Computer Science"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"GP92] P. Gastin and A. Petit. Poset properties of complex traces. Lecture Notes in Computer Science, 629:255\u2013263, 1992. MFCS\u201992.","DOI":"10.1007\/3-540-55808-X_24"},{"key":"7_CR11","unstructured":"HKT92] P. Hoogers, H.C.M. Kleijn, and P.S. Thiagarajan. A trace semantics for Petri nets. Technical Report 92\u201303, Leiden University, 1992. to appear in 1995 in Information and Computation."},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1007\/3-540-57208-2_32","volume":"715","author":"P Hoogers","year":"1993","unstructured":"P. Hoogers, H.C.M. Kleijn, and P.S. Thiagarajan. Local event structures and Petri nets. Lecture Notes in Computer Science, 715: 462\u2013476, 1993.","journal-title":"Lecture Notes in Computer Science"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1991-14303","volume":"XIV","author":"HJ Hoogeboom","year":"1991","unstructured":"H.J. Hoogeboom and G. Rozenberg. Diamond properties of state spaces of elementary net systems. Fundamenta Informaticae, XIV: 287\u2013300, 1991.","journal-title":"Fundamenta Informaticae"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Maz86] A. Mazurkiewicz. Trace theory. Lecture Notes in Computer Science, 255:279\u2013324, 1986. Advanced Course on Petri Nets.","DOI":"10.1007\/3-540-17906-2_30"},{"key":"7_CR15","volume-title":"Wadsworth fc Brooks\/Cole","author":"R McKenzie","year":"1987","unstructured":"R. McKenzie, G. McNulty, and W. Taylor. Algebras, Lattices, Varietes, volume 1. Wadsworth fc Brooks\/Cole, 1987."},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures and domains. Theoretical Computer Science, 13 (1): 85 \u2014 108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Per89] D. Perrin. Partial commutations. Lecture Notes in Computer Science, 372:637\u2013651, 1989. ICALP\u201989.","DOI":"10.1007\/BFb0035789"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Roz92] B. Rozoy. Distributed languages and models for concurency. Lecture Notes in Computer Science. 609:267\u2013291, 1992. Advances in Petri Net.","DOI":"10.1007\/3-540-55610-9_175"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0304-3975(91)90087-I","volume":"91","author":"B Rozoy","year":"1991","unstructured":"B. Rozoy and P.S. Thiagarajan. Trace monoids and event structures. Theoretical Computer Science, 91 (2): 285\u2013313, 1991.","journal-title":"Theoretical Computer Science"},{"key":"7_CR20","unstructured":"Sta89] E.W. Stark. Connections between a concrete and an abstract model of concurrent systems. Lecture Notes in Computer Science, 442:53\u201379, 1989. 5th Mathematical Foundations of Programming Semantics, New Orleans, Louisiana, USA."},{"issue":"2","key":"7_CR21","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1051\/ita\/1991250201471","volume":"25","author":"W Vogler","year":"1991","unstructured":"W. Vogler. A generalization of traces. RAIRO, Theoretical Informatics and Applications, 25 (2): 147\u2013156, 1991.","journal-title":"Theoretical Informatics and Applications"}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,19]],"date-time":"2021-12-19T13:21:43Z","timestamp":1639920103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_7","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}