{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:43:25Z","timestamp":1725795805098},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319080185"},{"type":"electronic","value":"9783319080192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08019-2_19","type":"book-chapter","created":{"date-parts":[[2014,6,5]],"date-time":"2014-06-05T01:09:47Z","timestamp":1401930587000},"page":"183-193","source":"Crossref","is-referenced-by-count":4,"title":["Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY"],"prefix":"10.1007","author":[{"given":"Maribel","family":"Fern\u00e1ndez","sequence":"first","affiliation":[]},{"given":"H\u00e9l\u00e8ne","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Mackie","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Pinaud","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Andrei, O.: A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems. PhD thesis, Institut National Polytechnique de Lorraine (2008)","DOI":"10.1016\/j.entcs.2008.10.035"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Andrei, O., Fern\u00e1ndez, M., Kirchner, H., Melanc\u0328on, G., Namet, O., Pinaud, B.: PORGY: Strategy-Driven Interactive Transformation of Graphs. In: 6th Int. Workshop on Computing with Terms and Graphs, vol.\u00a048, pp. 54\u201368. EPTCS (2011)","DOI":"10.4204\/EPTCS.48.7"},{"key":"19_CR3","unstructured":"Auber, D., Archambault, D., Bourqui, R., Lambert, A., Mathiaut, M., Mary, P., Delest, M., Dubois, J., M\u00e9lan\u00e7on, G.: The Tulip 3 Framework: A Scalable Software Library for Information Visualization Applications Based on Relational Data. Technical Report RR-7860. Inria (January 2012)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Bourdier, T., Cirstea, H., Dougherty, D.J., Kirchner, H.: Extensional and intensional strategies. In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, vol.\u00a015, pp. 1\u201319. EPTCS (2009)","DOI":"10.4204\/EPTCS.15.1"},{"key":"19_CR5","doi-asserted-by":"crossref","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: Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01, pp. 163\u2013246. World Scientific (1997)","DOI":"10.1142\/9789812384720_0003"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Courcelle, B.: Graph Rewriting: An Algebraic and Logic Approach. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 193\u2013242. Elsevier and MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50010-X"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformations. Applications, Languages, and Tools, vol.\u00a02, pp. 551\u2013603. World Scientific (1997)","DOI":"10.1142\/9789812815149_0014"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/10704567_10","volume-title":"Principles and Practice of Declarative Programming","author":"M. Fern\u00e1ndez","year":"1999","unstructured":"Fern\u00e1ndez, M., Mackie, I.: A calculus for interaction nets. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 170\u2013187. Springer, Heidelberg (1999)"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-32211-2_12","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Fern\u00e1ndez","year":"2012","unstructured":"Fern\u00e1ndez, M., Kirchner, H., Namet, O.: A Strategy Language for Graph Rewriting. In: Vidal, G. (ed.) LOPSTR 2011. LNCS, vol.\u00a07225, pp. 173\u2013188. Springer, Heidelberg (2012)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Lafont, Y.: Interaction nets. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990), pp. 95\u2013108. ACM Press (1990)","DOI":"10.1145\/96709.96718"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.entcs.2004.06.020","volume":"117","author":"N. Mart\u00ed-Oliet","year":"2005","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J., Verdejo, A.: Towards a strategy language for Maude. Electr. Notes Theor. Comput. Sci.\u00a0117, 417\u2013441 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: ICSE, pp. 742\u2013745 (2000)","DOI":"10.1145\/337180.337620"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Pinaud, B., Melan\u00e7on, G., Dubois, J.: PORGY: A Visual Graph Rewriting Environment for Complex Systems. Computer Graphics Forum\u00a031(3), 1265\u20131274 (2012)","DOI":"10.1111\/j.1467-8659.2012.03119.x"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","DOI":"10.1016\/j.jlap.2004.05.001"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-03564-7_6","volume-title":"Algebraic Informatics","author":"D. Plump","year":"2009","unstructured":"Plump, D.: The Graph Programming Language GP. In: Bozapalidis, S., Rahonis, G. (eds.) CAI 2009. LNCS, vol.\u00a05725, pp. 99\u2013122. Springer, Heidelberg (2009)"},{"key":"19_CR16","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: The PROGRES Approach: Language and Environment. In: Handbook of Graph Grammars and Computing by Graph Transformations. Applications, Languages, and Tools, vol.\u00a02, pp. 479\u2013546. World Scientific (1997)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013361. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Language, Life, Limits"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08019-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:52:46Z","timestamp":1649206366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08019-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319080185","9783319080192"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08019-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}