{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:46:12Z","timestamp":1742960772959,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_9","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T22:42:34Z","timestamp":1277332954000},"page":"165-184","source":"Crossref","is-referenced-by-count":4,"title":["Coreflective Concurrent Semantics for Single-Pushout Graph Grammars"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Baldan, P.: Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, Department of Computer Science, University of Pisa, Available as technical report n. TD-1\/00 (2000)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BFb0053542","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Baldan","year":"1998","unstructured":"Baldan, P., Corradini, A., Montanari, U.: An event structure semantics for P\/T contextual nets: Asymmetric event structures. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 63\u201380. Springer, Heidelberg (1998)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-46464-8_11","volume-title":"Theory and Application of Graph Transformations","author":"P. Baldan","year":"2000","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Unfolding of double-pushout graph grammars is a coreflection. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 145\u2013163. Springer, Heidelberg (2000)"},{"issue":"1","key":"9_CR4","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. Information and Computation\u00a0171(1), 1\u201349 (2001)","journal-title":"Information and Computation"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-56863-8_47","volume-title":"Application and Theory of Petri Nets 1993","author":"S. Christensen","year":"1993","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 186\u2013205. Springer, Heidelberg (1993)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/3-540-61604-7_69","volume-title":"CONCUR \u201996: Concurrency Theory","author":"A. Corradini","year":"1996","unstructured":"Corradini, A.: Concurrent graph and term graph rewriting. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 438\u2013464. Springer, Heidelberg (1996)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Padberg, J.: The category of typed graph grammars and its adjunctions with categories of derivations. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073. Springer, Heidelberg (1996)"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026, 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR9","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In: Rozenberg [25], ch. 3"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in High-Level Replacement Systems. Mathematical Structures in Computer Science\u00a01, 361\u2013404 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR11","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Rozenberg [25], ch. 4"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: Proc. of IEEE Conf. on Automata and Switching Theory, pp. 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Golz","year":"1983","unstructured":"Golz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control\u00a057, 125\u2013147 (1983)","journal-title":"Information and Control"},{"issue":"6","key":"9_CR14","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"Heckel, R., Corradini, A., Ehrig, H., L\u00f6we, M.: Horizontal and vertical structuring of graph transformation systems. Mathematical Structures in Computer Science\u00a06(6), 613\u2013648 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR15","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. Information and Computation\u00a0123, 1\u201316 (1995)","journal-title":"Information and Computation"},{"key":"9_CR16","unstructured":"Korff, M.: Generalized graph structure grammars with applications to concurrent object-oriented systems. PhD thesis, Technische Universit\u00e4t Berlin (1996)"},{"key":"9_CR17","unstructured":"Langerak, R.: Transformation and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente (1992)"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theoretical Computer Science\u00a0109, 181\u2013224 (1993)","journal-title":"Theoretical Computer Science"},{"key":"9_CR19","first-page":"185","volume-title":"Term Graph Rewriting: Theory and Practice","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In: Term Graph Rewriting: Theory and Practice, pp. 185\u2013199. Wiley, London (1993)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J. Meseguer","year":"1997","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: On the semantics of Place\/Transition Petri nets. Mathematical Structures in Computer Science\u00a07, 359\u2013397 (1997)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Informatica\u00a032(6) (1995)","DOI":"10.1007\/BF01178907"},{"key":"9_CR22","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. Theoretical Computer Science\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0304-3975(94)00174-H","volume":"138","author":"G.M. Pinna","year":"1995","unstructured":"Pinna, G.M., Poign\u00e9, A.: On the nature of events: another perspective in concurrency. Theoretical Computer Science\u00a0138(2), 425\u2013454 (1995)","journal-title":"Theoretical Computer Science"},{"key":"9_CR24","unstructured":"Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, Technische Universit\u00e4t Berlin (1996)"},{"key":"9_CR25","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/3-540-63165-8_209","volume-title":"Automata, Languages and Programming","author":"W. Vogler","year":"1997","unstructured":"Vogler, W.: Efficiency of asynchronous systems and read arcs in Petri nets. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256, pp. 538\u2013548. Springer, Heidelberg (1997)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T02:47:39Z","timestamp":1591411659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}