{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:16:13Z","timestamp":1743002173925,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030223960"},{"type":"electronic","value":"9783030223977"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-22397-7_1","type":"book-chapter","created":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T18:14:14Z","timestamp":1559672054000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Representing Dependencies in Event Structures"],"prefix":"10.1007","author":[{"given":"G. Michele","family":"Pinna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,5]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-19195-9_6","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y Arbach","year":"2015","unstructured":"Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 83\u201397. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19195-9_6"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures (technical report). CoRR abs\/1504.00512 (2015)","DOI":"10.4204\/EPTCS.223.0.2"},{"key":"1_CR3","unstructured":"Arbach, Y., Karcher, D.S., Peters, K., Nestmann, U.: Dynamic causality in event structures. Logical Methods Comput. Sci. 14(1), 1\u201317 (2018)"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1016\/j.tcs.2007.09.004","volume":"389","author":"P Baldan","year":"2007","unstructured":"Baldan, P., Bracciali, A., Bruni, R.: A semantic framework for open processes. Theor. Comput. Sci. 389(3), 446\u2013483 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20133","key":"1_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.tcs.2004.04.001","volume":"323","author":"P Baldan","year":"2004","unstructured":"Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1\u20133), 129\u2013189 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures and processes. Inf. Comput. 171(1), 1\u201349 (2001)","journal-title":"Inf. Comput."},{"issue":"3\u20134","key":"1_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.3233\/FI-2014-1101","volume":"134","author":"M Bartoletti","year":"2014","unstructured":"Bartoletti, M., Cimoli, T., Pinna, G.M., Zunino, R.: Circular causality in event structures. Fundam. Inform. 134(3\u20134), 219\u2013259 (2014)","journal-title":"Fundam. Inform."},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-53479-2_4","volume-title":"Semantics of Systems of Concurrent Processes","author":"G Boudol","year":"1990","unstructured":"Boudol, G.: Flow event structures and flow nets. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol. 469, pp. 62\u201395. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/3-540-53479-2_4"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BFb0013031","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"H Gaifman","year":"1989","unstructured":"Gaifman, H.: Modeling concurrency by partial orders and nonlinear transition systems. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1988. LNCS, vol. 354, pp. 467\u2013488. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/BFb0013031"},{"key":"1_CR10","unstructured":"Gaifman, H., Pratt, V.R.: Partial order models of concurrency and the computation of functions. In: Gries, D. (ed.) LICS 1987 Conference Proceedings, pp. 72\u201385. IEEE Computer Society (1987)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-54430-5_94","volume-title":"CONCUR \u201991","author":"J Gunawardena","year":"1991","unstructured":"Gunawardena, J.: Geometric logic, causality and event structures. In: Baeten, J.C.M., Groote, J.F. (eds.) CONCUR 1991. LNCS, vol. 527, pp. 266\u2013280. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-54430-5_94"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(92)90052-H","volume":"101","author":"J Gunawardena","year":"1992","unstructured":"Gunawardena, J.: Causal automata. Theor. Comput. Sci. 101(2), 265\u2013288 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR13","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\u201316 (1995)","journal-title":"Inf. Comput."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-319-25150-9_16","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2015","author":"DS Karcher","year":"2015","unstructured":"Karcher, D.S., Nestmann, U.: Higher-order dynamics in event structures. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 258\u2013271. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25150-9_16"},{"key":"1_CR15","unstructured":"Langerak, R.: Bundle event structures: a non-interleaving semantics for LOTOS. In: Diaz, M., Groz, R. (eds.) FORTE 1992 Conference Proceedings. IFIP Transactions, vol. C-10, pp. 331\u2013346. North-Holland (1992)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-63141-0_22","volume-title":"CONCUR \u201997: Concurrency Theory","author":"R Langerak","year":"1997","unstructured":"Langerak, R., Brinksma, E., Katoen, J.-P.: Causal ambiguity and partial orders in event structures. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 317\u2013331. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63141-0_22"},{"issue":"6","key":"1_CR17","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1017\/S0960129506005664","volume":"16","author":"JJ Leifer","year":"2006","unstructured":"Leifer, J.J., Milner, R.: Transition systems, link graphs and petri nets. Math. Struct. Comput. Sci. 16(6), 989\u20131047 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part 1. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"1_CR19","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1016\/j.jlamp.2015.07.004","volume":"84","author":"I Phillips","year":"2015","unstructured":"Phillips, I., Ulidowski, I.: Reversibility and asymmetric conflict in event structures. J. Logic Algebraic Methods Program. 84(6), 781\u2013805 (2015)","journal-title":"J. Logic Algebraic Methods Program."},{"issue":"3","key":"1_CR20","first-page":"409","volume":"73","author":"GM Pinna","year":"2006","unstructured":"Pinna, G.M.: Event structures with disabling\/enabling relation and event automata. Fundam. Inform. 73(3), 409\u2013430 (2006)","journal-title":"Fundam. Inform."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/3-540-55808-X_42","volume-title":"Mathematical Foundations of Computer Science 1992","author":"GM Pinna","year":"1992","unstructured":"Pinna, G.M., Poign\u00e9, A.: On the nature of events. In: Havel, I.M., Koubek, V. (eds.) MFCS 1992. LNCS, vol. 629, pp. 430\u2013441. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55808-X_42"},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0304-3975(94)00174-H","volume":"138","author":"GM Pinna","year":"1995","unstructured":"Pinna, G.M., Poign\u00e9, A.: On the nature of events: another perspective in concurrency. Theor. Comput. Sci. 138(2), 425\u2013454 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.tcs.2011.12.060","volume":"431","author":"GM Pinna","year":"2012","unstructured":"Pinna, G.M., Saba, A.: Modeling dependencies and simultaneity in membrane system computations. Theor. Comput. Sci. 431, 13\u201339 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR24","series-title":"EACTS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69968-9"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0084797","volume-title":"CONCUR \u201992","author":"A Rensink","year":"1992","unstructured":"Rensink, A.: Posets for configurations!. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 269\u2013285. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0084797"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/978-3-540-28629-5_42","volume-title":"Mathematical Foundations of Computer Science 2004","author":"R van Glabbeek","year":"2004","unstructured":"van Glabbeek, R., Plotkin, G.: Event structures for resolvable conflict. In: Fiala, J., Koubek, V., Kratochv\u00edl, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 550\u2013561. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28629-5_42"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22397-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:02:18Z","timestamp":1685836938000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-22397-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030223960","9783030223977"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22397-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"5 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kongens Lyngby","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2019\/coordination","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}