{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T04:57:36Z","timestamp":1785560256087,"version":"3.56.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031947476","type":"print"},{"value":"9783031947483","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"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-031-94748-3_1","type":"book-chapter","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T19:14:28Z","timestamp":1754939668000},"page":"7-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Behavioural Equivalences over\u00a0Reconfigurable Systems"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,12]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Alrahman, Y.A., Nicola, R.D., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019). https:\/\/doi.org\/10.1016\/J.IC.2019.104457","DOI":"10.1016\/J.IC.2019.104457"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Aman, B., Ciobanu, G.: Real-time migration properties of rTiMo verified in Uppaal. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science, vol.\u00a08137, pp. 31\u201345. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-40561-7_3","DOI":"10.1007\/978-3-642-40561-7_3"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s10009-016-0439-9","volume":"19","author":"B Aman","year":"2016","unstructured":"Aman, B., Ciobanu, G.: Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transfer 19(4), 395\u2013408 (2016). https:\/\/doi.org\/10.1007\/s10009-016-0439-9","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Aman, B., Ciobanu, G.: Knowledge dynamics and behavioural equivalences in multi-agent systems. Mathematics 9(22) (2021). https:\/\/doi.org\/10.3390\/math9222869","DOI":"10.3390\/math9222869"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Aman, B., Ciobanu, G., Koutny, M.: Behavioural equivalences over migrating processes with timers. In: Giese, H., Rosu, G. (eds.) Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012. Lecture Notes in Computer Science, vol.\u00a07273, pp. 52\u201366. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-30793-5_4","DOI":"10.1007\/978-3-642-30793-5_4"},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/JIGPAL\/JZV020","volume":"23","author":"C Areces","year":"2015","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601\u2013627 (2015). https:\/\/doi.org\/10.1093\/JIGPAL\/JZV020","journal-title":"Logic J. IGPL"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning, Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol.\u00a02605, pp. 268\u2013276. Springer (2005). https:\/\/doi.org\/10.1007\/978-3-540-32254-2_16","DOI":"10.1007\/978-3-540-32254-2_16"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoret. Comput. Sci. 240(1), 177\u2013213 (2000). https:\/\/doi.org\/10.1016\/S0304-3975(99)00231-5","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Ciobanu, G.: Behaviour equivalences in timed distributed pi-calculus. In: Wirsing, M., Ban\u00e2tre, J., H\u00f6lzl, M.M., Rauschmayer, A. (eds.) Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, Lecture Notes in Computer Science, vol.\u00a05380, pp. 190\u2013208. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-89437-7_13","DOI":"10.1007\/978-3-540-89437-7_13"},{"issue":"6","key":"1_CR11","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1002\/CPE.1854","volume":"24","author":"G Ciobanu","year":"2012","unstructured":"Ciobanu, G., Juravle, C.: Flexible software architecture and language for mobile agents. Concur. Comput. Practice Exp. 24(6), 559\u2013571 (2012). https:\/\/doi.org\/10.1002\/CPE.1854","journal-title":"Concur. Comput. Practice Exp."},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Ciobanu, G., Koutny, M.: Modelling and verification of timed interaction and migration. In: Fiadeiro, J.L., Inverardi, P. (eds.) Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science, vol.\u00a04961, pp. 215\u2013229. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-78743-3_16","DOI":"10.1007\/978-3-540-78743-3_16"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Ciobanu, G., Koutny, M.: Timed migration and interaction with access permissions. In: Butler, M.J., Schulte, W. (eds.) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science, vol.\u00a06664, pp. 293\u2013307. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_23","DOI":"10.1007\/978-3-642-21437-0_23"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Ciobanu, G., Prisacariu, C.: Timers for distributed systems. In: Pierro, A.D., Wiklicky, H. (eds.) Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006. Electronic Notes in Theoretical Computer Science, vol.\u00a0164, pp. 81\u201399. Elsevier (2006). https:\/\/doi.org\/10.1016\/J.ENTCS.2006.07.013","DOI":"10.1016\/J.ENTCS.2006.07.013"},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Gabbay, D.M.: Reactive Kripke Semantics. Cognitive Technologies, Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-41389-6","DOI":"10.1007\/978-3-642-41389-6"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Groote, J.F.: Transition system specifications with negative premises (extended abstract). In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR \u201990, Theories of Concurrency: Unification and Extension, Amsterdam. Lecture Notes in Computer Science, vol.\u00a0458, pp. 332\u2013341. Springer (1990). https:\/\/doi.org\/10.1007\/BFB0039069","DOI":"10.1007\/BFB0039069"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems - Conference proceedings. NATO ASI Series, vol.\u00a013, pp. 477\u2013498. Springer (1984). https:\/\/doi.org\/10.1007\/978-3-642-82453-1_17","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Hennessy, M.: A distributed Pi-calculus. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511611063"},{"key":"1_CR19","unstructured":"Milner, R.: Communicating and mobile systems - the Pi-calculus. Cambridge University Press (1999)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626661"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. I. Inf. Comput. 100(1), 1\u201340 (1992). https:\/\/doi.org\/10.1016\/0890-5401(92)90008-4","journal-title":"I. Inf. Comput."},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. II. Inf. Comput. 100(1), 41\u201377 (1992). https:\/\/doi.org\/10.1016\/0890-5401(92)90009-5","journal-title":"II. Inf. Comput."},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Park, D.M.R.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) Theoretical Computer Science, 5th GI-Conference. Lecture Notes in Computer Science, vol.\u00a0104, pp. 167\u2013183. Springer (1981). https:\/\/doi.org\/10.1007\/BFB0017309","DOI":"10.1007\/BFB0017309"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511777110"},{"issue":"9","key":"1_CR25","doi-asserted-by":"publisher","first-page":"6759","DOI":"10.1007\/S00500-020-05353-1","volume":"25","author":"R Santiago","year":"2021","unstructured":"Santiago, R., Martins, M.A., Figueiredo, D.: Introducing fuzzy reactive graphs: a simple application on biology. Soft. Comput. 25(9), 6759\u20136774 (2021). https:\/\/doi.org\/10.1007\/S00500-020-05353-1","journal-title":"Soft. Comput."},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"Xie, W., Zhu, H., Zhang, M., Lu, G., Fang, Y.: Formalization and verification of mobile systems calculus using the rewriting engine Maude. In: Reisman, S., et al., (eds.) 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1. pp. 213\u2013218. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/COMPSAC.2018.00034","DOI":"10.1109\/COMPSAC.2018.00034"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94748-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T04:08:15Z","timestamp":1785557295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94748-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,12]]},"ISBN":["9783031947476","9783031947483"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94748-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,12]]},"assertion":[{"value":"12 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}