{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:38:40Z","timestamp":1725878320769},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319519623"},{"type":"electronic","value":"9783319519630"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51963-0_11","type":"book-chapter","created":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T06:17:39Z","timestamp":1484029059000},"page":"132-146","source":"Crossref","is-referenced-by-count":2,"title":["Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Nataliya","family":"Gribovskaya","sequence":"additional","affiliation":[]},{"given":"Irina","family":"Virbitskaite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,11]]},"reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"crossref","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."},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G Boudol","year":"1989","unstructured":"Boudol, G., Castellani, I.: Concurrency and atomicity. Theor. Comput. Sci. 59, 25\u201384 (1989)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR3","unstructured":"van Glabbeek, R.J.: History preserving process graphs (1995). http:\/\/boole.stanford.edu\/~rvg\/pub\/history.draft.dvi"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"RJ Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica 37, 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"issue":"41","key":"11_CR5","doi-asserted-by":"crossref","first-page":"4111","DOI":"10.1016\/j.tcs.2009.06.014","volume":"410","author":"RJ Glabbeek van","year":"2009","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and petri nets. Theor. Comput. Sci. 410(41), 4111\u20134159 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-45187-7_4","volume-title":"CONCUR 2003 - Concurrency Theory","author":"RJ Glabbeek van","year":"2003","unstructured":"van Glabbeek, R.J., Vaandrager, F.: Bundle event structures and CCSP. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 57\u201371. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-45187-7_4"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Gutierrez, J., Wooldridge, M.: Equilibria of concurrent games on event structures. In: Proceedings of CSL-LICS 2014, pp. 46:1\u201346:10 (2014)","DOI":"10.1145\/2603088.2603145"},{"key":"11_CR8","unstructured":"Katoen, J.-P.: Quantitative and qualitative extensions of event structures. Ph.D. thesis. Twente University (1996)"},{"key":"11_CR9","unstructured":"Langerak, R.: Bundle event structures: a non-interleaving semantics for LOTOS. In: Formal Description Techniques V, IFIP Transactions, C-10 (1993)"},{"key":"11_CR10","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). doi: 10.1007\/3-540-63141-0_22"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"XIV","author":"R Loogen","year":"1991","unstructured":"Loogen, R., Goltz, U.: Modelling nondeterministic concurrent processes with event structures. Fundamenta Informatica XIV, 39\u201374 (1991)","journal-title":"Fundamenta Informatica"},{"issue":"3","key":"11_CR12","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0020-0190(98)00105-7","volume":"67","author":"M Majster-Cederbaum","year":"1998","unstructured":"Majster-Cederbaum, M., Roggenbach, M.: Transition systems from event structures revisited. Inf. Process. Lett. 67(3), 119\u2013124 (1998)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"11_CR13","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 13(1), 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/3-540-48068-4_20","volume-title":"Application and Theory of Petri Nets 2002","author":"M Nielsen","year":"2002","unstructured":"Nielsen, M., Thiagarajan, P.S.: Regular event structures and finite petri nets: the conflict-free case. In: Esparza, J., Lakos, C. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 335\u2013351. Springer, Heidelberg (2002). doi: 10.1007\/3-540-48068-4_20"},{"issue":"2","key":"11_CR15","doi-asserted-by":"crossref","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 perspectives in concurrency. Theor. Comput. Sci. 138(2), 425\u2013454 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR16","unstructured":"Winskel, G.: Events in computation. Ph.D. thesis. University of Edinburgh (1980)"},{"key":"11_CR17","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). doi: 10.1007\/3-540-17906-2_31"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of Logic in Computer Science, vol. 4 (1995)","DOI":"10.1093\/oso\/9780198537809.003.0001"},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/j.entcs.2013.09.024","volume":"298","author":"G Winskel","year":"2013","unstructured":"Winskel, G.: Distributed probabilistic and quantum strategies. Electron. Notes Theor. Comput. Sci. 298, 403\u2013425 (2013)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2017: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51963-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T18:07:28Z","timestamp":1718993248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51963-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319519623","9783319519630"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51963-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}