{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:04Z","timestamp":1725515344379},"publisher-location":"Berlin, Heidelberg","reference-count":55,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_2","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"9-15","source":"Crossref","is-referenced-by-count":0,"title":["Ugo Montanari and Graph Transformation"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","year":"2006","unstructured":"Baier, C., Hermanns, H. (eds.): CONCUR 2006. LNCS, vol.\u00a04137. Springer, Heidelberg (2006)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Concurrent semantics of algebraic graph transformations. In: Ehrig, H., et al. (eds.) [30], pp. 107\u2013187.","DOI":"10.1142\/9789812814951_0003"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BFb0055061","volume-title":"Automata, Languages and Programming","author":"P. Baldan","year":"1998","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Concatenable graph processes: Relating processes and derivation traces. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 283\u2013295. Springer, Heidelberg (1998)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-49019-1_6","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Baldan","year":"1999","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Unfolding and event structure semantics for graph grammars. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 73\u201389. Springer, Heidelberg (1999)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-45711-9_11","volume-title":"Formal and Natural Computing","author":"P. Baldan","year":"2002","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Bisimulation equivalences for graph grammars. In: Brauer, W., Ehrig, H., Karhum\u00e4ki, J., Salomaa, A. (eds.) Formal and Natural Computing. LNCS, vol.\u00a02300, pp. 158\u2013190. Springer, Heidelberg (2002)"},{"key":"2_CR7","first-page":"5","volume-title":"Proceedings of PNGT 2004. ENTCS","author":"P. Baldan","year":"2005","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. In: Proceedings of PNGT 2004. ENTCS, vol.\u00a0127(2), pp. 5\u201328. Elsevier Science, Amsterdam (2005)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-540-40020-2_9","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P. Baldan","year":"2003","unstructured":"Baldan, P., Corradini, A., Montanari, U., Ribeiro, L.: Coreflective concurrent semantics for single-pushout graph grammars. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol.\u00a02755, pp. 165\u2013184. Springer, Heidelberg (2003)"},{"issue":"5","key":"2_CR9","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1016\/j.ic.2006.11.004","volume":"205","author":"P. Baldan","year":"2007","unstructured":"Baldan, P., Corradini, A., Montanari, U., Ribeiro, L.: Unfolding semantics of graph transformation. Inf. Comput.\u00a0205(5), 733\u2013782 (2007)","journal-title":"Inf. Comput."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Baldan, P., Gadducci, F., Montanari, U.: Concurrent rewriting for graphs with equivalences. In: Baier and Hermanns [1], pp. 279\u2013294.","DOI":"10.1007\/11817949_19"},{"key":"2_CR11","first-page":"85","volume-title":"Proceedings of TERMGRAPH 2006. ENTCS","author":"P. Baldan","year":"2007","unstructured":"Baldan, P., Gadducci, F., Montanari, U.: Modelling calculi with name mobility using graphs with equivalences. In: Proceedings of TERMGRAPH 2006. ENTCS, vol.\u00a0176(1), pp. 85\u201397. Elsevier Science, Amsterdam (2007)"},{"key":"2_CR12","series-title":"ENTCS","volume-title":"Proceedings of WRLA 2008","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U.: Hierarchical design rewriting with Maude. In: Proceedings of WRLA 2008. ENTCS, Elsevier, Amsterdam (to appear, 2008)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","first-page":"186","volume-title":"Proceedings of TGC 2007","author":"R. Bruni","year":"2007","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Service oriented architectural design. In: TGC 2007. LNCS, vol.\u00a04912, pp. 186\u2013203. Springer, Heidelberg (2007)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Event structure semantics for nominal calculi. In: Baier, Hermanns (eds.) [1], pp. 295\u2013309.","DOI":"10.1007\/11817949_20"},{"key":"2_CR15","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Event structure semantics for dynamic graph grammars. In: Baldan, P., Ehrig, H., Padberg, J., Rozenberg, G. (eds.) Proceedings of PNGT 2006, Workshop on Petri Nets and Graph Transformation. ECEASST. EASST, vol.\u00a02 (2007)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/BFb0000097","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"I. Castellani","year":"1983","unstructured":"Castellani, I., Montanari, U.: Graph grammars for distributed systems. In: Ehrig, H., Nagl, M., Rozenberg, G. (eds.) Graph Grammars 1982. LNCS, vol.\u00a0153, pp. 20\u201338. Springer, Heidelberg (1983)"},{"key":"2_CR17","first-page":"424","volume-title":"Proceedings ACM Int. Comp. Symp","author":"A. Corradini","year":"1985","unstructured":"Corradini, A., Degano, P., Montanari, U.: Specifying highly concurrent data structure manipulation. In: Proceedings ACM Int. Comp. Symp, pp. 424\u2013428. North-Holland, Amsterdam (1985)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Abstract graph derivations in the double pushout approach. In: Schneider, Ehrig (eds.) [55], pp. 86\u2013103.","DOI":"10.1007\/3-540-57787-4_6"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/3-540-61228-9_91","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., Rossi, F.: An event structure semantics for graph grammars with parallel productions. In: Cuny, J.E., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 240\u2013256. Springer, Heidelberg (1996)"},{"key":"2_CR20","series-title":"IFIP Transactions","first-page":"423","volume-title":"PROCOMET","author":"A. Corradini","year":"1994","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: An event structure semantics for safe graph grammars. In: Olderog, E.-R. (ed.) PROCOMET. IFIP Transactions, vol.\u00a0A-56, pp. 423\u2013444. North-Holland, Amsterdam (1994)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Note on standard representation of graphs and graph derivations. In: Schneider, Ehrig (eds.) [55], pp. 104\u2013118.","DOI":"10.1007\/3-540-57787-4_7"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/BFb0013469","volume-title":"Category Theory and Computer Science","author":"A. Corradini","year":"1991","unstructured":"Corradini, A., Montanari, U.: An algebra of graphs and graph rewriting. In: Pitt, D.H., Curien, P.-L., Abramsky, S., Pitts, A.M., Poign\u00e9, A., Rydeheard, D.E. (eds.) CTCS 1991. LNCS, vol.\u00a0530, pp. 236\u2013260. Springer, Heidelberg (1991)"},{"key":"2_CR23","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-94-011-0187-5_3","volume-title":"Quality of Communication-Based Systems","author":"A. Corradini","year":"1995","unstructured":"Corradini, A., Montanari, U.: Specification of Concurrent Systems: from Petri Nets to Graph Grammars. In: Hommel, G. (ed.) Quality of Communication-Based Systems, pp. 35\u201352. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"2_CR24","first-page":"887","volume-title":"FGCS","author":"A. Corradini","year":"1992","unstructured":"Corradini, A., Montanari, U., Rossi, F.: CHARM: Concurrency and Hiding in an Abstract Rewriting Machine. In: FGCS, pp. 887\u2013896. IOS Press, Amsterdam (1992)"},{"issue":"1&2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0304-3975(94)90206-2","volume":"122","author":"A. Corradini","year":"1994","unstructured":"Corradini, A., Montanari, U., Rossi, F.: An abstract machine for concurrent modular systems: CHARM. Theor. Comput. Sci\u00a0122(1&2), 165\u2013200 (1994)","journal-title":"Theor. Comput. Sci"},{"issue":"3\/4","key":"2_CR26","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. Fundam. Inform.\u00a026(3\/4), 241\u2013265 (1996)","journal-title":"Fundam. Inform."},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations: Foundations","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, vol.\u00a01, pp. 163\u2013246. World Scientific, Singapore (1997)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BFb0017392","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Corradini","year":"1991","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., L\u00f6we, M.: Graph grammars and logic programming. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 221\u2013237. Springer, Heidelberg (1991)"},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/23005.24038","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P., Montanari, U.: A model for distributed systems based on graph rewriting. J. ACM\u00a034(2), 411\u2013449 (1987)","journal-title":"J. ACM"},{"volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism and Distribution","year":"1999","key":"2_CR30","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism and Distribution, vol.\u00a03. World Scientific, Singapore (1999)"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"G.L. Ferrari","year":"2006","unstructured":"Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised hyperedge replacement as a model for service oriented computing. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 22\u201343. Springer, Heidelberg (2006)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-540-40007-3_16","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"G.L. Ferrari","year":"2003","unstructured":"Ferrari, G.L., Montanari, U., Tuosto, E.: Graph-based models of internetworking systems. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 242\u2013266. Springer, Heidelberg (2003)"},{"key":"2_CR33","series-title":"ENTCS","volume-title":"Proceedings of MFPS 2001","author":"F. Gadducci","year":"2001","unstructured":"Gadducci, F., Montanari, U.: A concurrent graph semantics for mobile ambients. In: Proceedings of MFPS 2001. ENTCS, vol.\u00a045, Elsevier Science, Amsterdam (2001)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11601548_9","volume-title":"Processes, Terms and Cycles: Steps on the Road to Infinity","author":"F. Gadducci","year":"2005","unstructured":"Gadducci, F., Montanari, U.: Observing reductions in nominal calculi via a graphical encoding of processes. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R.C. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol.\u00a03838, pp. 106\u2013126. Springer, Heidelberg (2005)"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/288408.288426","volume-title":"Third International Software Architecture Workshop","author":"D. Hirsch","year":"1998","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: Magee, J., Perry, D. (eds.) Third International Software Architecture Workshop, Orlando, FL, November 1998, pp. 69\u201372. ACM Press, New York (1998)"},{"key":"2_CR36","series-title":"IFIP Conference Proceedings","first-page":"127","volume-title":"WICSA","author":"D. Hirsch","year":"1999","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Modeling software architectures and styles with graph grammars and constraint solving. In: Donohoe, P. (ed.) WICSA. IFIP Conference Proceedings, vol.\u00a0140, pp. 127\u2013144. Kluwer, Dordrecht (1999)"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45263-X_10","volume-title":"Coordination Languages and Models","author":"D. Hirsch","year":"2000","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Reconfiguration of software architecture styles with name mobility. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 148\u2013163. Springer, Heidelberg (2000)"},{"key":"2_CR38","series-title":"ENTCS","volume-title":"Proceedings WDS 1999","author":"D. Hirsch","year":"1999","unstructured":"Hirsch, D., Montanari, U.: Consistent transformations for software architecture styles of distributed systems. In: Proceedings WDS 1999. ENTCS, vol.\u00a028, Elsevier Science, Amsterdam (1999)"},{"key":"2_CR39","unstructured":"Hirsch, D., Montanari, U.: A graphical calculus for name mobility. In: Roman, G.C., Picco, G.P. (eds.) Proceedings of WSEM 2001, Toronto, Canada (2001)"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","first-page":"121","volume-title":"CONCUR 2001 - Concurrency Theory","author":"D. Hirsch","year":"2001","unstructured":"Hirsch, D., Montanari, U.: Synchronized hyperedge replacement with name mobility. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 121\u2013136. Springer, Heidelberg (2001)"},{"key":"2_CR41","series-title":"ENTCS","volume-title":"Proceedings of GETGRATS Closing Workshop","author":"D. Hirsch","year":"2001","unstructured":"Hirsch, D., Montanari, U.: Two graph-based techniques for software architecture reconfiguration. In: Proceedings of GETGRATS Closing Workshop. ENTCS, vol.\u00a051, Elsevier Science, Amsterdam (2001)"},{"key":"2_CR42","series-title":"ENTCS","first-page":"97","volume-title":"Proceedings of GT-VMT 2004","author":"D. Hirsch","year":"2004","unstructured":"Hirsch, D., Montanari, U.: Shaped hierarchical architectural design. In: Proceedings of GT-VMT 2004. ENTCS, vol.\u00a0109, pp. 97\u2013109. Elsevier Science, Amsterdam (2004)"},{"key":"2_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-45500-0_7","volume-title":"Theoretical Aspects of Computer Software","author":"B. K\u00f6nig","year":"2001","unstructured":"K\u00f6nig, B., Montanari, U.: Observational equivalence for synchronized graph rewriting with mobility. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 145\u2013164. Springer, Heidelberg (2001)"},{"key":"2_CR44","unstructured":"Lanese, I., Montanari, U.: Software architectures, global computing and graph transformation via logic programming. In: Ribeiro, L. (ed.) Proc SBES 2002 - 16th Brazilian Symposium on Software Engineering, Anais, pp. 11\u201335 (2002)"},{"key":"2_CR45","series-title":"ENTCS","first-page":"199","volume-title":"Proceedings of the Workshop of the COMETA Project","author":"I. Lanese","year":"2004","unstructured":"Lanese, I., Montanari, U.: A graphical fusion calculus. In: Proceedings of the Workshop of the COMETA Project. ENTCS, vol.\u00a0104, pp. 199\u2013215. Elsevier Science, Amsterdam (2004)"},{"key":"2_CR46","series-title":"ENTCS","volume-title":"Proceedings of FGUC 2004","author":"I. Lanese","year":"2005","unstructured":"Lanese, I., Montanari, U.: Synchronization algebras with mobility for graph transformations. In: Proceedings of FGUC 2004. ENTCS, vol.\u00a0138, Elsevier Science, Amsterdam (2005)"},{"key":"2_CR47","series-title":"ENTCS","first-page":"55","volume-title":"Proceedings of GT-VC 2005","author":"I. Lanese","year":"2006","unstructured":"Lanese, I., Montanari, U.: Hoare vs Milner: Comparing synchronizations in a graphical framework with mobility. In: Proceedings of GT-VC 2005. ENTCS, vol.\u00a0154(2), pp. 55\u201372. Elsevier Science, Amsterdam (2006)"},{"issue":"3","key":"2_CR48","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0019-9958(70)90135-X","volume":"16","author":"U. Montanari","year":"1970","unstructured":"Montanari, U.: Separable graphs, planar graphs and web grammars. Information and Control\u00a016(3), 243\u2013267 (1970)","journal-title":"Information and Control"},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Montanari, U., Pistore, M., Rossi, F.: Modeling concurrent, mobile and coordinated systems via graph transformations. In: Ehrig, H., et al. (eds.) [30], pp. 189\u2013268.","DOI":"10.1142\/9789812814951_0004"},{"key":"2_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-45832-8_24","volume-title":"Graph Transformation","author":"U. Montanari","year":"2002","unstructured":"Montanari, U., Ribeiro, L.: Linear ordered graph grammars and their algebraic foundations. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 317\u2013333. Springer, Heidelberg (2002)"},{"key":"2_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-55251-0_13","volume-title":"CAAP \u201992","author":"U. Montanari","year":"1992","unstructured":"Montanari, U., Rossi, F.: Graph grammars as context-dependent rewriting systems: A partial ordering semantics. In: Raoult, J.-C. (ed.) CAAP 1992. LNCS, vol.\u00a0581, pp. 232\u2013247. Springer, Heidelberg (1992)"},{"key":"2_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61604-7","volume-title":"Coordination Languages and Models","author":"U. Montanari","year":"1996","unstructured":"Montanari, U., Rossi, F.: Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract). In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, Springer, Heidelberg (1996)"},{"key":"2_CR53","unstructured":"Pfaltz, J.L., Rosenfeld, A.: Web grammars. In: IJCAI, pp. 609\u2013620 (1969)"},{"key":"2_CR54","first-page":"531","volume-title":"Proceedings of META 1988","author":"F. Rossi","year":"1988","unstructured":"Rossi, F., Montanari, U.: Hypergraph grammars and networks of constraints versus logic programming and metaprogramming. In: Proceedings of META 1988, pp. 531\u2013544. MIT Press, Cambridge (1988)"},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57787-4","volume-title":"Graph Transformations in Computer Science","author":"H.J. Schneider","year":"1994","unstructured":"Schneider, H.J., Ehrig, H.: Dagstuhl Seminar 1993. LNCS, vol.\u00a0776. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T08:04:45Z","timestamp":1588752285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}