{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:41:36Z","timestamp":1725871296187},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319498140"},{"type":"electronic","value":"9783319498157"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-49815-7_5","type":"book-chapter","created":{"date-parts":[[2016,11,12]],"date-time":"2016-11-12T14:12:09Z","timestamp":1478959929000},"page":"78-94","source":"Crossref","is-referenced-by-count":6,"title":["Verigraph: A System for Specification and Analysis of Graph Grammars"],"prefix":"10.1007","author":[{"given":"Andrei","family":"Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Bezerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guilherme","family":"Azzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thiago Rafael","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo Gabriel","family":"Herdt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,13]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-21145-9_3","volume-title":"Graph Transformation","author":"A Corradini","year":"2015","unstructured":"Corradini, A., Duval, D., Echahed, R., Prost, F., Ribeiro, L.: AGREE \u2013 algebraic graph rewriting with controlled embedding. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 35\u201351. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-21145-9_3"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A Corradini","year":"2006","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-pushout rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 30\u201345. Springer, Heidelberg (2006). doi: 10.1007\/11841883_4"},{"key":"5_CR3","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, New York (2006)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: IEEE Conference Record of 14th Annual Symposium on Switching and Automata Theory, SWAT \u201908, pp. 167\u2013180, October 1973","DOI":"10.1109\/SWAT.1973.11"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-30203-2_12","volume-title":"Graph Transformations","author":"H Ehrig","year":"2004","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 144\u2013160. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30203-2_12"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation: part ii: single pushout approach and comparison with double pushout approach. In: Handbook of Graph Grammars, pp. 247\u2013312 (1997)","DOI":"10.1142\/9789812384720_0004"},{"issue":"3,4","key":"5_CR7","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3,4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR8","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"MRA Huth","year":"2000","unstructured":"Huth, M.R.A., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, New York (2000)"},{"key":"5_CR9","unstructured":"Lambers, L.: Certifying rule-based models using graph transformation. Ph.D. thesis, Berlin Institute of Technology (2009)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11841883_6","volume-title":"Graph Transformations","author":"L Lambers","year":"2006","unstructured":"Lambers, L., Ehrig, H., Orejas, F.: Conflict detection for graph transformation with negative application conditions. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 61\u201376. Springer, Heidelberg (2006). doi: 10.1007\/11841883_6"},{"key":"5_CR11","unstructured":"Machado, R.: Higher-order graph rewriting systems. Ph.D. thesis, Instituto de Inform\u00e1tica - Universidade Federal do Rio Grande do Sul (2012)"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2015.01.034","volume":"594","author":"R Machado","year":"2015","unstructured":"Machado, R., Ribeiro, L., Heckel, R.: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Theoret. Comput. Sci. 594, 1\u201323 (2015)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: a\u00a0tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479\u2013485. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-25959-6_40"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations","year":"1997","key":"5_CR14","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations. World Scientific Publishing Co., Inc., River Edge (1997)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Jones, S.P., Chakravarty, M., Sulzmann, M.: Type checking with open type functions. In: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, ICFP 2008, pp. 51\u201362. ACM, New York (2008)","DOI":"10.1145\/1411204.1411215"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-45104-8_41","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2000","unstructured":"Taentzer, G.: AGG: a tool environment for algebraic graph transformation. In: Nagl, M., Sch\u00fcrr, A., M\u00fcnch, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 481\u2013488. Springer, Heidelberg (2000). doi: 10.1007\/3-540-45104-8_41"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Varro, G., Schurr, A., Varro, D.: Benchmarking for graph transformation. In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC\u201905), pp. 79\u201388. IEEE (2005)","DOI":"10.1109\/VLHCC.2005.23"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49815-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,27]],"date-time":"2020-09-27T08:12:48Z","timestamp":1601194368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49815-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319498140","9783319498157"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49815-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}