{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:54:08Z","timestamp":1725767648030},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475752755"},{"type":"electronic","value":"9780387356082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-0-387-35608-2_33","type":"book-chapter","created":{"date-parts":[[2013,12,29]],"date-time":"2013-12-29T21:57:25Z","timestamp":1388354245000},"page":"396-408","source":"Crossref","is-referenced-by-count":0,"title":["Decidability and Tractability of Problems in Object-Based Graph Grammars"],"prefix":"10.1007","author":[{"given":"Aline Brum","family":"Loreto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laira Vieira","family":"Toscani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G. Actors: a model for concurrent computation in distributed systems, MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"issue":"34","key":"33_CR2","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. and Rossi, F. Graph processes, Fundamentae Informatica, vol. 26, no. 3\u20134, 1996, pp. 241\u2013265.","journal-title":"Fundamentae Informatica"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Dotti, F. and Ribeiro, L., Specification of mobile code systems using graph grammars. In S. Smith and C. Talcott, editors, Formal Methods for Open Object-based Systems IV, pages 45\u201364. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-0-387-35520-7_3"},{"key":"33_CR4","volume-title":"World Scientific","author":"H Ehrig","year":"1999","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."},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender and H. Schneider, Graph grammars: an algebraic approach,Proc. IEEE Conference SWAT\u201973, 1973, pp. 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"key":"33_CR6","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 The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997, pp. 247\u2013312."},{"key":"33_CR7","first-page":"143","volume":"3","author":"J Esparza","year":"1994","unstructured":"J. Esparza and M. Nielsen. Decidability Issues for Petri Nets-a survey, J. Inform. Process. Cybernet. EIK 30 (1994) 3, 143\u2013160.","journal-title":"J. Inform. Process. Cybernet. EIK 30"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"J. Esparza, Decidability and Complexity of Petri Net Problems-An Introduction, Lecture Notes in Computer Science 1491, Springer, 1998, pp. 376\u2013428.","DOI":"10.1007\/3-540-65306-6_20"},{"key":"33_CR9","volume-title":"Garey and D. S. Johnson, Computers and Intractability: a guide to the theory of NP-completeness, W. H","author":"M. R","year":"1979","unstructured":"M. R. Garey and D. S. Johnson, Computers and Intractability: a guide to the theory of NP-completeness, W. H. Freeman, San Francisco, 1979."},{"key":"33_CR10","volume-title":"Generalized graph structures with application to concurrent object-oriented systems","author":"M Korff","year":"1995","unstructured":"M. Korff, Generalized graph structures with application to concurrent object-oriented systems, Ph.D. thesis, Technical University of Berlin, 1995."},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Korff, M. and Ribeiro, L., Formal relationships between graph grammars and Petri nets, Lecture Notes in Computer Science 1073, Springer, 1996, pp. 288\u2013303.","DOI":"10.1007\/3-540-61228-9_94"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"M. Korff and L. Ribeiro, True concurrency = interleaving + weak conflict, Eletronic Notes in Theoretical Computer Science, vol. 14, 1998.","DOI":"10.1016\/S1571-0661(05)80237-3"},{"key":"33_CR13","first-page":"185","volume-title":"An algebraic framework for the transformation of attributed graphs","author":"M L\u00f6we","year":"1993","unstructured":"M. L\u00f6we, M. Korff and A. Wagner, An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley and Sons, 1993, pp. 185\u2013199."},{"key":"33_CR14","unstructured":"A. Loreto, L. Ribeiro and L. Toscani, Complexity Analysis of Reactive Graph Grammars,Revista de Informtica Terica e Aplicada, vol. VII(2000). Porto Alegre, Instituto de Informtica, UFRGS, pp.109\u2013128."},{"key":"33_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M","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":"33_CR16","volume-title":"Parallel composition and unfolding semantics of graph grammars, Ph. D","author":"L Ribeiro","year":"1996","unstructured":"L. Ribeiro, Parallel composition and unfolding semantics of graph grammars, Ph. D. Thesis. Technical University of Berlin, 1996."}],"container-title":["Foundations of Information Technology in the Era of Network and Mobile Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35608-2_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T01:54:26Z","timestamp":1597283666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35608-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781475752755","9780387356082"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35608-2_33","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}