{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:46Z","timestamp":1762458586432},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_24","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:13:34Z","timestamp":1188299614000},"page":"317-333","source":"Crossref","is-referenced-by-count":3,"title":["Linear Ordered Graph Grammars and Their Algebraic Foundations"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Montanari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1006\/inco.1999.2819","volume":"156","author":"R. Bruni","year":"2000","unstructured":"R. Bruni and U. Montanari, Zero-Safe Nets: Comparing the Collective and Individual Token Approaches, Information and Computation, Vol. 156, 2000, pp. 46\u201389.","journal-title":"Information and Computation"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"R. Bruni, U. Montanari and F. Rossi, An Interactive Semantics of Logic Programming, TLP 6(1): 647\u2013690, Nov. 2001.","DOI":"10.1017\/S1471068401000035"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1006\/inco.2001.3050","volume":"170","author":"R. Bruni","year":"2001","unstructured":"R. Bruni, J. Meseguer, U. Montanari, and V. Sassone, Functorial models for Petri nets, Information and Computation, Vol. 170, 2001, pp. 207\u2013236.","journal-title":"Information and Computation"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1008647417502","volume":"7","author":"A. Corradini","year":"1999","unstructured":"A. Corradini and F. Gadducci, An Algebraic Presentation of Term Graphs via Gs-Monoidal Categories, Applied Categorical Structures, Vol. 7, 1999, pp. 299\u2013331.","journal-title":"Applied Categorical Structures"},{"issue":"3\u20134","key":"24_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"A. Corradini, U. Montanari and F. Rossi, Graph processes, Fundamentae Informatica, Vol. 26, no. 3\u20134, 1996, pp. 241\u2013265.","journal-title":"Fundamentae Informatica"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"F. Dotti and L. Ribeiro, Specification of mobile code systems using graph grammars, Formal Methods for Open Object-based Systems IV, Kluwer Academic Publishers, 2000, pp. 45\u201364.","DOI":"10.1007\/978-0-387-35520-7_3"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools, World Scientific, 1999.","DOI":"10.1142\/4180"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"H. Ehrig, R. Heckel, M. Korff, M. L\u00f6we, L. Ribeiro, A. Wagner and A. Corradini, Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach, in [18], pp. 247\u2013312.","DOI":"10.1142\/9789812384720_0004"},{"issue":"1\/2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1006\/inco.1999.2825","volume":"156","author":"G. Ferrari","year":"2000","unstructured":"G. Ferrari and U. Montanari, Tile Formats for Located and Mobile Systems, Information and Computation, Vol. 156, no. 1\/2, 2000, pp. 173\u2013235.","journal-title":"Information and Computation"},{"key":"24_CR10","unstructured":"F. Gadducci and U. Montanari, Comparing Logics for Rewriting: Rewriting Logic, Action Calculi and Tile Logic, TCS, to appear. Available at http:\/\/www.di.unipi.it\/~ugo\/ABSTRACT.html#TCS-Asilomar ."},{"key":"24_CR11","unstructured":"R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, Ph.D. thesis, Technical University of Berlin, 1998."},{"key":"24_CR12","unstructured":"M. Korff, True concurrency semantics for single pushout graph transformations with applications to actor systems, Information Systems-Correctness and Reusability, World Scientific, 1995, pp. 33\u201350."},{"key":"24_CR13","unstructured":"M. Korff, Generalized graph structures with application to concurrent object-oriented systems, Ph.D. thesis, Technical University of Berlin, 1995."},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"M. L\u00f6we, Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, Vol. 109, 1993, 181\u2013224.","journal-title":"Theoretical Computer Science"},{"key":"24_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-64299-4_27","volume-title":"Mapping Tile Logic into Rewriting Logic","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer and U. Montanari. Mapping Tile Logic into Rewriting Logic, Springer, LNCS 1376, 1998, pp. 62\u201391."},{"key":"24_CR16","first-page":"189","volume":"3","author":"U. Montanari","year":"1999","unstructured":"U. Montanari, M. Pistore and F. Rossi, Modeling concurrent, mobile and coordinated systems via graph transformations, The Handbook of Graph Grammars, vol. 3: Concurrency, Parallelism and Distribution, World Scientific, 1999, pp. 189\u2013268.","journal-title":"The Handbook of Graph Grammars"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi, Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems, Applied Categorical Structures 7(4): 333\u2013370; Dec 1999.","DOI":"10.1023\/A:1008693303228"},{"key":"24_CR18","unstructured":"G. Rozenberg (editor), The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997."},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"G. Taentzer, Parallel and distributed graph transformation: Formal description and application to communication-based systems, Ph.D. thesis, Technical University of Berlin, 1996.","DOI":"10.1007\/3-540-61228-9_95"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:03:32Z","timestamp":1684004612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}