{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T16:30:32Z","timestamp":1775061032598,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032224682","type":"print"},{"value":"9783032224699","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-22469-9_10","type":"book-chapter","created":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:57:48Z","timestamp":1775055468000},"page":"169-187","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Simulation Quotients Simulating Bisimulation Quotients"],"prefix":"10.1007","author":[{"given":"Roland","family":"Gl\u00fcck","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,4,2]]},"reference":[{"key":"10_CR1","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"key":"10_CR2","unstructured":"Clarke, E.M., Grumberg, O., Kroening, D., Peled, D.A., Veith, H.: Model checking, 2nd Edition. MIT Press (2018)"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s00224-013-9505-9","volume":"55","author":"W Czerwinski","year":"2014","unstructured":"Czerwinski, W., Hofman, P., Lasota, S.: Decidability of branching bisimulation on normed commutative context-free processes. Theory Comput. Syst. 55(1), 136\u2013169 (2014)","journal-title":"Theory Comput. Syst."},{"key":"10_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139236119","volume-title":"Temporal Logics in Computer Science: Finite-State Systems","author":"S Demri","year":"2016","unstructured":"Demri, S., Goranko, V., Lange, M.: Temporal Logics in Computer Science: Finite-State Systems, 1st edn. Cambridge University Press, USA (2016)","edition":"1"},{"key":"10_CR5","unstructured":"Ghilardi, S., Santocanale, L.: Ruitenburg\u2019s theorem via duality and bounded bisimulations. In: Bezhanishvili, G., D\u2019Agostino, G., Metcalfe, G., Studer, T. (eds.) Advances in Modal Logic 12, proceedings of the 12th conference on \u201cAdvances in Modal Logic,\u201d held in Bern, Switzerland, August 27-31, 2018, pp. 277\u2013290. College Publications (2018)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Gl\u00fcck, R.: Using bisimulations for optimality problems in model refinement. In: de Swart, H. (ed.) RAMiCS 2011, Proceedings, volume 6633 of Lecture Notes in Computer Science, pp. 164\u2013179. Springer (2012)","DOI":"10.1007\/978-3-642-21070-9_14"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Gl\u00fcck, R.: Compatibility of refining and controlling plant automata with bisimulation quotients. In: Gl\u00fcck, R., Santocanale, L., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, volume 13896 of Lecture Notes in Computer Science, pp. 87\u2013104. Springer (2023)","DOI":"10.1007\/978-3-031-28083-2_6"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Gl\u00fcck, R.: A matrix-oriented view of bisimulation quotients over Dioid-labeled transition systems. In: Fahrenberg, U., Fussner, W., Gl\u00fcck, R. (eds.) Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings, volume 14787 of Lecture Notes in Computer Science, pp. 119\u2013134. Springer (2024)","DOI":"10.1007\/978-3-031-68279-7_8"},{"key":"10_CR9","volume-title":"Graphs","author":"M Gondran","year":"2008","unstructured":"Gondran, M., Minoux, M.: Graphs. Springer, Dioids and Semirings (2008)"},{"key":"10_CR10","unstructured":"H\u00f6fner, P.: Automated reasoning for hybrid systems - two case studies -. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS\/AKA 2008, Frauenw\u00f6rth, Germany, April 7-11, 2008. Proceedings, volume 4988 of Lecture Notes in Computer Science, pp. 191\u2013205. Springer (2008)"},{"issue":"4\u20136","key":"10_CR11","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-012-0245-4","volume":"24","author":"P H\u00f6fner","year":"2012","unstructured":"H\u00f6fner, P., M\u00f6ller, B.: Dijkstra, Floyd and Warshall meet Kleene. Formal Asp. Comput. 24(4\u20136), 459\u2013476 (2012)","journal-title":"Formal Asp. Comput."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Komorida, Y., Katsumata, S., Hu, N., Klin, B., Hasuo, I.: Codensity games for bisimilarity. In: 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pp. 1\u201313. IEEE (2019)","DOI":"10.1109\/LICS.2019.8785691"},{"key":"10_CR13","unstructured":"Krivulin, K.: Complete solution of an optimization problem in tropical semifield. In: H\u00f6fner, P., Pous, D., Struth, G., (eds.) Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, volume 10226 of Lecture Notes in Computer Science, pp. 226\u2013241 (2017)"},{"key":"10_CR14","unstructured":"Maia, E., Moreira, N., Reis, R.: Partial derivative and position bisimilarity automata. In: Holzer, M., Kutrib, M. (eds.) Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings, volume 8587 of Lecture Notes in Computer Science, pp. 264\u2013277. Springer (2014)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems - specification. Springer (1992)","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"10_CR16","unstructured":"Rozowski, W., Kapp\u00e9, T., Kozen, D., Schmid, T., Silva, A.: Probabilistic guarded KAT modulo bisimilarity: completeness and complexity. In: Etessami, K., Feige, U., Puppis, G. (eds.) 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, volume 261 of LIPIcs, pp. 136:1\u2013136:20. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs: Discrete Mathematics for Computer Scientists. Springer (1993)","DOI":"10.1007\/978-3-642-77968-8"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Sintzoff, M.: Synthesis of optimal control policies for some infinite-state transition systems. In: Audebaud, P., Paulin-Mohring, C. (eds.) MPC 2008, volume 5133 of Lecture Notes in Computer Science, pp. 336\u2013359. Springer (2008)","DOI":"10.1007\/978-3-540-70594-9_18"},{"issue":"4","key":"10_CR19","first-page":"429","volume":"83","author":"M Winter","year":"2008","unstructured":"Winter, M.: A relation-algebraic theory of bisimulations. Fundam. Inf. 83(4), 429\u2013449 (2008)","journal-title":"Fundam. Inf."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Zouari, S., Ziemianski, K., Fahrenberg, U.: Bisimulations and logics for higher-dimensional automata. In: Anutariya, C., Bonsangue, M.M. (eds.) Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings, volume 15373 of Lecture Notes in Computer Science, pp. 132\u2013150. Springer (2024)","DOI":"10.1007\/978-3-031-77019-7_8"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22469-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:57:51Z","timestamp":1775055471000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22469-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032224682","9783032224699"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22469-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"B\u0119dlewo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 April 2026","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":"ramics2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics-conf.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}