{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T04:12:34Z","timestamp":1747714354688,"version":"3.40.5"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155784"},{"type":"electronic","value":"9783319155791"}],"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-15579-1_54","type":"book-chapter","created":{"date-parts":[[2015,2,23]],"date-time":"2015-02-23T08:36:13Z","timestamp":1424680573000},"page":"689-700","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Order Structures for Subclasses of Generalised Traces"],"prefix":"10.1007","author":[{"given":"Ryszard","family":"Janicki","sequence":"first","affiliation":[]},{"given":"Jetty","family":"Kleijn","sequence":"additional","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]},{"given":"\u0141ukasz","family":"Mikulski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,2,24]]},"reference":[{"key":"54_CR1","doi-asserted-by":"crossref","unstructured":"Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific (1995)","DOI":"10.1142\/2563"},{"key":"54_CR2","unstructured":"Gaifman, H., Pratt, V.R.: Partial order models of concurrency and the computation of functions. In: LICS, pp. 72\u201385. IEEE Computer Society (1987)"},{"key":"54_CR3","doi-asserted-by":"crossref","unstructured":"Hoogeboom, H.J., Rozenberg, G.: Dependence graphs. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces, pp. 43\u201367. World Scientific (1995)","DOI":"10.1142\/9789814261456_0002"},{"key":"54_CR4","unstructured":"Janicki, R., Kleijn, J., Koutny, M., Mikulski, \u0141.: Causal structures for general concurrent behaviours. In: Szczuka, M.S., Czaja, L., Kacprzak, M. (eds.) CS&P. CEUR Workshop Proceedings, vol. 1032, pp. 193\u2013205. CEUR-WS.org (2013)"},{"key":"54_CR5","unstructured":"Janicki, R., Kleijn, J., Koutny, M., Mikulski, \u0141.: Generalising traces. TR-CS 1436. Newcastle University (2014)"},{"issue":"1","key":"54_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(93)90238-O","volume":"112","author":"R Janicki","year":"1993","unstructured":"Janicki, R., Koutny, M.: Structure of concurrency. Theor. Comput. Sci. 112(1), 5\u201352 (1993)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"54_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R Janicki","year":"1995","unstructured":"Janicki, R., Koutny, M.: Semantics of inhibitor nets. Inf. Comput. 123(1), 1\u201316 (1995)","journal-title":"Inf. Comput."},{"issue":"11","key":"54_CR8","doi-asserted-by":"publisher","first-page":"1355","DOI":"10.1016\/j.ic.2011.08.001","volume":"209","author":"R Janicki","year":"2011","unstructured":"Janicki, R., Le, D.T.M.: Modelling concurrency with comtraces and generalized comtraces. Inf. Comput. 209(11), 1355\u20131389 (2011)","journal-title":"Inf. Comput."},{"issue":"3\u20134","key":"54_CR9","doi-asserted-by":"crossref","first-page":"331","DOI":"10.3233\/FUN-2008-873-404","volume":"87","author":"G Juh\u00e1s","year":"2008","unstructured":"Juh\u00e1s, G., Lorenz, R., Mauser, S.: Complete process semantics of Petri nets. Fundam. Inform. 87(3\u20134), 331\u2013365 (2008)","journal-title":"Fundam. Inform."},{"key":"54_CR10","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-78291-9_5","volume-title":"New Developments in Formal Languages and Applications","author":"J Kleijn","year":"2008","unstructured":"Kleijn, J., Koutny, M.: Formal languages and concurrent behaviours. In: Enguix, G.B., Jim\u00e9nez-L\u00f3pez, M.D., Mart\u00edn-Vide, C. (eds.) New Developments in Formal Languages and Applications. SCI, vol. 113, pp. 125\u2013182. Springer, Heidelberg (2008)"},{"issue":"1\u20132","key":"54_CR11","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2013-785","volume":"122","author":"J Kleijn","year":"2013","unstructured":"Kleijn, J., Koutny, M.: Mutex causality in processes and traces of general elementary nets. Fundam. Inform. 122(1\u20132), 119\u2013146 (2013)","journal-title":"Fundam. Inform."},{"issue":"2","key":"54_CR12","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/5383.5384","volume":"33","author":"L Lamport","year":"1986","unstructured":"Lamport, L.: The mutual exclusion problem: part I - a theory of interprocess communication. J. ACM 33(2), 313\u2013326 (1986). http:\/\/doi.acm.org\/10.1145\/5383.5384","journal-title":"J. ACM"},{"issue":"3\u20134","key":"54_CR13","first-page":"265","volume":"113","author":"DTM Le","year":"2011","unstructured":"Le, D.T.M.: On three alternative characterizations of combined traces. Fundam. Inform. 113(3\u20134), 265\u2013293 (2011)","journal-title":"Fundam. Inform."},{"key":"54_CR14","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations. DAIMI Rep. PB 78. Aarhus University (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"54_CR15","series-title":"Lecture Notes in Computer Science","first-page":"285","volume-title":"REX Workshop","author":"AW Mazurkiewicz","year":"1988","unstructured":"Mazurkiewicz, A.W.: Basic notions of trace theory. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) REX Workshop. LNCS, vol. 354, pp. 285\u2013363. Springer, Heidelberg (1988)"},{"issue":"1","key":"54_CR16","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. International Journal of Parallel Programming 15(1), 33\u201371 (1986)","journal-title":"International Journal of Parallel Programming"},{"key":"54_CR17","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","volume":"16","author":"E Szpilrajn","year":"1930","unstructured":"Szpilrajn, E.: Sur l\u2019extension de l\u2019ordre partiel. Fundam. Math. 16, 386\u2013389 (1930)","journal-title":"Fundam. Math."}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15579-1_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T21:57:30Z","timestamp":1747691850000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15579-1_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155784","9783319155791"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15579-1_54","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":"24 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}