{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:09:11Z","timestamp":1776373751768,"version":"3.51.2"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031626449","type":"print"},{"value":"9783031626456","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-62645-6_2","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T05:01:51Z","timestamp":1718168511000},"page":"20-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Weak Simplicial Bisimilarity for\u00a0Polyhedral Models and\u00a0SLCS $$_\\eta $$"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6692-5051","authenticated-orcid":false,"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1314-0574","authenticated-orcid":false,"given":"Vincenzo","family":"Ciancia","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8317-7949","authenticated-orcid":false,"given":"David","family":"Gabelaia","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9434-9523","authenticated-orcid":false,"given":"Mamuka","family":"Jibladze","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3257-9059","authenticated-orcid":false,"given":"Diego","family":"Latella","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5089-002X","authenticated-orcid":false,"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9514-2260","authenticated-orcid":false,"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Banci Buonamici, F., Belmonte, G., Ciancia, V., Latella, D., Massink, M.: Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. 22(2), 195\u2013217 (2020). https:\/\/doi.org\/10.1007\/s10009-019-00511-9","DOI":"10.1007\/s10009-019-00511-9"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Belmonte, G., Broccia, G., Ciancia, V., Latella, D., Massink, M.: Feasibility of spatial model checking for nevus segmentation. In: Bliudze, S., Gnesi, S., Plat, N., Semini, L. (eds.) 9th IEEE\/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, 17-21 May 2021, pp. 1\u201312. IEEE (2021). https:\/\/doi.org\/10.1109\/FormaliSE52586.2021.00007","DOI":"10.1109\/FormaliSE52586.2021.00007"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-030-17462-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Belmonte","year":"2019","unstructured":"Belmonte, G., Ciancia, V., Latella, D., Massink, M.: VoxLogicA: a spatial model checker for declarative image analysis. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 281\u2013298. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0_16"},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Aiello, M., Pratt-Hartmann, I., Benthem, J.V. (eds.) Handbook of Spatial Logics, pp. 217\u2013298. Springer, Cham (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_5","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Bezhanishvili, N., Ciancia, V., Gabelaia, D., Grilletti, G., Latella, D., Massink, M.: Geometric model checking of continuous space. Log. Methods Comput. Sci. 18(4), 7:1\u20137:38 (2022). https:\/\/lmcs.episciences.org\/10348, https:\/\/doi.org\/10.46298\/LMCS-18(4:7)2022. 22 Nov 2022. ISSN: 1860-5974","DOI":"10.46298\/LMCS-18(4:7)2022"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Bezhanishvili, N., et al.: Weak simplicial bisimilarity for polyhedral models and SLCS$$_{\\eta }$$ \u2014 extended version. CoRR abs\/2404.06131 (2024). https:\/\/doi.org\/10.48550\/arXiv.2404.06131","DOI":"10.48550\/arXiv.2404.06131"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Bezhanishvili, N., Marra, V., McNeill, D., Pedrini, A.: Tarski\u2019s theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Logic 169(5), 373\u2013391 (2018). https:\/\/doi.org\/10.1016\/j.apal.2017.12.005,https:\/\/www.sciencedirect.com\/science\/article\/pii\/S016800721730146X","DOI":"10.1016\/j.apal.2017.12.005"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Latella, D., Massink, M., de Vink, E.P.: Back-and-forth in space: on logics and bisimilarity in closure spaces. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds.) A Journey From Process Algebra via Timed Automata to Model Learning - A Festschrift Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. LNCS, vol. 13560, pp. 98\u2013115. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_6","DOI":"10.1007\/978-3-031-15629-8_6"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Gabelaia, D., Latella, D., Massink, M., de\u00a0Vink, E.P.: On bisimilarity for polyhedral models and SLCS. In: Huisman, M., Ravara, A. (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, 19-23 June 2023, Proceedings. LNCS, vol. 13910, pp. 132\u2013151. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35355-0_9","DOI":"10.1007\/978-3-031-35355-0_9"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3), 289\u2013311 (2018). https:\/\/doi.org\/10.1007\/s10009-018-0483-8","DOI":"10.1007\/s10009-018-0483-8"},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Grilletti, G., Latella, D., Loreti, M., Massink, M.: An experimental spatio-temporal model checker. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, 7\u20138 September 2015, Revised Selected Papers. LNCS, vol.\u00a09509, pp. 297\u2013311. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-662-49224-6_24","DOI":"10.1007\/978-3-662-49224-6_24"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Groote, J., Latella, D., Massink, M., de Vink, E.: Minimisation of spatial models using branching bisimilarity. In: Chechik, M., Katoen, J.P., Leucker, M. (eds.) 25th International Symposium, FM 2023, L\u00fcbeck, 6\u201310 March 2023, Proceedings. LNCS, vol. 14000, pp. 263\u2013281. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-27481-7_16","DOI":"10.1007\/978-3-031-27481-7_16"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Specifying and verifying properties of space. In: D\u00edaz, J., Lanese, I., Sangiorgi, D. (eds.) Theoretical Computer Science - 8th IFIP TC 1\/WG 2.2 International Conference, TCS 2014, Rome, Italy, 1\u20133 September 2014. Proceedings. LNCS, vol.\u00a08705, pp. 222\u2013235. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-662-44602-7_18","DOI":"10.1007\/978-3-662-44602-7_18"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Model checking spatial logics for closure spaces. Log. Methods Comput. Sci. 12(4) (2016). https:\/\/doi.org\/10.2168\/LMCS-12(4:2)2016","DOI":"10.2168\/LMCS-12(4:2)2016"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Latella, D., Massink, M.: Embedding RCC8D in the collective spatial logic CSLCS. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. LNCS, vol. 11665, pp. 260\u2013277. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_15","DOI":"10.1007\/978-3-030-21485-2_15"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Latella, D., Massink, M., Pa\u0161kauskas, R.: Exploring spatio-temporal properties of bike-sharing systems. In: 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, 21\u201325 September 2015, pp. 74\u201379. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/SASOW.2015.17","DOI":"10.1109\/SASOW.2015.17"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Latella, D., Massink, M., Pa\u0161kauskas, R., Vandin, A.: A tool-chain for statistical spatio-temporal model checking of bike sharing systems. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, 10\u201314 October 2016, Proceedings, Part I, LNCS, vol.\u00a09952, pp. 657\u2013673 (2016), https:\/\/doi.org\/10.1007\/978-3-319-47166-2_46","DOI":"10.1007\/978-3-319-47166-2_46"},{"key":"2_CR18","unstructured":"Ciancia, V., Latella, D., Massink, M., de\u00a0Vink, E.P.: On bisimilarity for quasi-discrete closure spaces (2023). https:\/\/arxiv.org\/abs\/2301.11634"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Groote, J.F., Jansen, D.N., Keiren, J.J.A., Wijs, A.: An O(mlogn) algorithm for computing stuttering equivalence and branching bisimulation. ACM Trans. Comput. Log. 18(2), 13:1\u201313:34 (2017). https:\/\/doi.org\/10.1145\/3060140","DOI":"10.1145\/3060140"},{"issue":"5","key":"2_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MCG.2012.91","volume":"32","author":"JA Levine","year":"2012","unstructured":"Levine, J.A., Paulsen, R.R., Zhang, Y.: Mesh processing in medical-image analysis - a tutorial. IEEE Comput. Graphics Appl. 32(5), 22\u201328 (2012). https:\/\/doi.org\/10.1109\/MCG.2012.91","journal-title":"IEEE Comput. Graphics Appl."},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"Loreti, M., Quadrini, M.: A spatial logic for simplicial models. Log. Methods Comput. Sci. 19(3) (2023). https:\/\/doi.org\/10.46298\/LMCS-19(3:8)2023","DOI":"10.46298\/LMCS-19(3:8)2023"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J McKinsey","year":"1944","unstructured":"McKinsey, J., Tarski, A.: The algebra of topology. Ann. Math. 45, 141\u2013191 (1944). https:\/\/doi.org\/10.2307\/1969080","journal-title":"Ann. Math."},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018). https:\/\/doi.org\/10.23638\/LMCS-14(4:2)2018","DOI":"10.23638\/LMCS-14(4:2)2018"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62645-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T05:02:04Z","timestamp":1718168524000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62645-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626449","9783031626456"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62645-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 June 2024","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":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}