{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:08:29Z","timestamp":1780628909211,"version":"3.54.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032003461","type":"print"},{"value":"9783032003478","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-00347-8_4","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:21:15Z","timestamp":1759278075000},"page":"57-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Parameterized Networks Specified by\u00a0Vertex-Replacement Graph Grammars"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3204-3294","authenticated-orcid":false,"given":"Radu","family":"Iosif","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6731-0340","authenticated-orcid":false,"given":"Arnaud","family":"Sangnier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2726-5036","authenticated-orcid":false,"given":"Neven","family":"Villani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.: General decidability theorems for infinite-state systems. In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996, pp. 313\u2013321. IEEE Computer Society (1996)","DOI":"10.1109\/LICS.1996.561359"},{"issue":"5","key":"4_CR2","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1142\/S0129054109006887","volume":"20","author":"PA Abdulla","year":"2009","unstructured":"Abdulla, P.A., Delzanno, G., Henda, N.B., Rezine, A.: Monotonic abstraction: on efficient verification of parameterized systems. Int. J. Found. Comput. Sci. 20(5), 779\u2013801 (2009)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/s10703-008-0062-9","volume":"34","author":"PA Abdulla","year":"2009","unstructured":"Abdulla, P.A., Delzanno, G., Rezine, A.: Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. 34(2), 126\u2013156 (2009)","journal-title":"Formal Methods Syst. Des."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-662-44584-6_9","volume-title":"CONCUR 2014 \u2013 Concurrency Theory","author":"B Aminof","year":"2014","unstructured":"Aminof, B., Kotek, T., Rubin, S., Spegni, F., Veith, H.: Parameterized Model Checking of Rendezvous Systems. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014. LNCS, vol. 8704, pp. 109\u2013124. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44584-6_9"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s00446-017-0302-6","volume":"31","author":"B Aminof","year":"2018","unstructured":"Aminof, B., Kotek, T., Rubin, S., Spegni, F., Veith, H.: Parameterized model checking of rendezvous systems. Distributed Comput. 31(3), 187\u2013222 (2018)","journal-title":"Distributed Comput."},{"key":"4_CR6","unstructured":"Baier, C., Katoen, J.: Principles of model checking. MIT Press (2008)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bloem, R., et al.: Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory. Morgan and Claypool Publishers (2015)","DOI":"10.1007\/978-3-031-02011-7"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Bozga, M., Iosif, R.: Specification and safety verification of parametric hierarchical distributed systems. In G.\u00a0Sala\u00fcn and A.\u00a0Wijs, (eds) Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, vol. 13077 of Lecture Notes in Computer Science, pp. 95\u2013114. Springer (2021)","DOI":"10.1007\/978-3-030-90636-8_6"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bozga, M., Iosif, R., Sangnier, A., Villani, N.: Counting abstraction for the verification of structured parameterized networks. CoRR, abs\/2502.15391 (2025)","DOI":"10.1007\/978-3-031-98682-6_13"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Bozga, M., Iosif, R., Sifakis, J.: Verification of component-based systems with recursive architectures. Theor. Comput. Sci. 940(Part), 146\u2013175 (2023)","DOI":"10.1016\/j.tcs.2022.10.022"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0890-5401(89)90026-6","volume":"81","author":"M Browne","year":"1989","unstructured":"Browne, M., Clarke, E., Grumberg, O.: Reasoning about networks with many identical finite state processes. Inf. Comput. 81(1), 13\u201331 (1989)","journal-title":"Inf. Comput."},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1006\/inco.1995.1020","volume":"116","author":"B Courcelle","year":"1995","unstructured":"Courcelle, B.: Structural properties of context-free sets of graphs generated by vertex replacement. Inf. Comput. 116(2), 275\u2013293 (1995)","journal-title":"Inf. Comput."},{"key":"4_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511977619","volume-title":"Graph structure and monadic second-order logic: a language-theoretic approach","author":"B Courcelle","year":"2012","unstructured":"Courcelle, B., Engelfriet, J.: Graph structure and monadic second-order logic: a language-theoretic approach. Cambridge University Press, Encyclopedia of Mathematics and its Applications (2012)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Namjoshi, K.S.: Reasoning about rings. In: POPL, pp. 85\u201394 (1995)","DOI":"10.1145\/199448.199468"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0890-5401(90)90038-J","volume":"84","author":"J Engelfiet","year":"1990","unstructured":"Engelfiet, J., Rozenberg, G.: A comparison of boundary graph grammars and context-free hypergraph grammars. Inf. Comput. 84(2), 163\u2013206 (1990)","journal-title":"Inf. Comput."},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1145\/146637.146681","volume":"39","author":"SM German","year":"1992","unstructured":"German, S.M., Sistla, A.P.: Reasoning about systems with many processes. J. ACM 39(3), 675\u2013735 (1992)","journal-title":"J. ACM"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1594977.1592576","volume":"39","author":"A Greenberg","year":"2009","unstructured":"Greenberg, A., et al.: Vl2: a scalable and flexible data center network. SIGCOMM Comput. Commun. Rev. 39(4), 51\u201362 (2009)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: Proceedings of the Third International Workshop on Software Architecture, ISAW \u201998, pp. 69\u201372, New York, NY, USA, 1998. Association for Computing Machinery","DOI":"10.1145\/288408.288426"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Jayaraman, K., et al.: Validating datacenters at scale. In Wu, J., Hall, W., (eds) Proceedings of the ACM Special Interest Group on Data Communication, SIGCOMM 2019, Beijing, China, August 19-23, 2019, pp. 200\u2013213. ACM (2019)","DOI":"10.1145\/3341302.3342094"},{"issue":"7","key":"4_CR20","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D Metayer","year":"1998","unstructured":"Metayer, D.: Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng. 24(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lesens, D., Halbwachs, N., Raymond, P.: Automatic verification of parameterized linear networks of processes. In: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 346\u2013357. ACM Press (1997)","DOI":"10.1145\/263699.263747"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Shtadler, Z., Grumberg, O.: Network grammars, communication behaviors and automatic verification. In Sifakis, J., (ed) Automatic Verification Methods for Finite State Systems, International Workshop, vol. 407 of LNCS, pp. 151\u2013165. Springer (1989)","DOI":"10.1007\/3-540-52148-8_13"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Wolper, P., Lovinfosse, V.: Verifying properties of large sets of processes with network invariants. In: Automatic Verification Methods for Finite State Systems, International Workshop, vol. 407 of LNCS, pp. 68\u201380. Springer (1989)","DOI":"10.1007\/3-540-52148-8_6"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00347-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:21:19Z","timestamp":1759278079000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00347-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783032003461","9783032003478"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00347-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of interests"}},{"value":"NETYS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Networked Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rabat","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"netys2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/netys.net","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}