{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:26:09Z","timestamp":1743074769643,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031617157"},{"type":"electronic","value":"9783031617164"}],"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-61716-4_10","type":"book-chapter","created":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T03:47:52Z","timestamp":1716954472000},"page":"150-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["It\u2019s All a\u00a0Game"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5772-9527","authenticated-orcid":false,"given":"Jeroen J. A.","family":"Keiren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3049-7962","authenticated-orcid":false,"given":"Tim A. C.","family":"Willemse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,22]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"de Frutos Escrig, D., Keiren, J.J.A., Willemse, T.A.C.: Games for bisimulations and abstraction. Log. Methods Comput. Sci. 13(4) (2017). https:\/\/doi.org\/10.23638\/LMCS-13(4:15)2017","DOI":"10.23638\/LMCS-13(4:15)2017"},{"key":"10_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-031-15629-8_14","volume-title":"A Journey from Process Algebra via Timed Automata to Model Learning","author":"H Geuvers","year":"2022","unstructured":"Geuvers, H.: Apartness and distinguishing formulas in Hennessy-Milner logic. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds.) A Journey from Process Algebra via Timed Automata to Model Learning. LNCS, vol. 13560, pp. 266\u2013282. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_14"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"Geuvers, H., Golov, A.: Directed branching bisimulation via apartness and positive logic (2022). https:\/\/doi.org\/10.48550\/arXiv.2210.07380","DOI":"10.48550\/arXiv.2210.07380"},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"Geuvers, H., Jacobs, B.: Relating apartness and bisimulation. Log. Methods Comput. Sci. 17(3) (2021). https:\/\/doi.org\/10.46298\/lmcs-17(3:15)2021","DOI":"10.46298\/lmcs-17(3:15)2021"},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"313","DOI":"10.3233\/FI-222112","volume":"185","author":"H Geuvers","year":"2022","unstructured":"Geuvers, H., Nederpelt, R.: Characteristics of de Bruijn\u2019s early proof checker Automath. Fundam. Informaticae 185(4), 313\u2013336 (2022). https:\/\/doi.org\/10.3233\/FI-222112","journal-title":"Fundam. Informaticae"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR 1993","author":"RJ van Glabbeek","year":"1993","unstructured":"van Glabbeek, R.J.: The linear time\u2013branching time spectrum II. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 66\u201381. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57208-2_6"},{"key":"10_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"TCS 1981","author":"D Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) TCS 1981. LNCS, vol. 104, pp. 167\u2013183. Springer, Heidelberg (1981). https:\/\/doi.org\/10.1007\/BFb0017309"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1093\/jigpal\/7.1.103","volume":"7","author":"C Stirling","year":"1999","unstructured":"Stirling, C.: Bisimulation, modal logic and model checking games. Log. J. IGPL 7(1), 103\u2013124 (1999). https:\/\/doi.org\/10.1093\/jigpal\/7.1.103","journal-title":"Log. J. IGPL"},{"key":"10_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR 1990 Theories of Concurrency: Unification and Extension","author":"RJ van Glabbeek","year":"1990","unstructured":"van Glabbeek, R.J.: The linear time - branching time spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 278\u2013297. Springer, Berlin (1990). https:\/\/doi.org\/10.1007\/BFb0039066"},{"issue":"1\u20132","key":"10_CR10","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0304-3975(98)00009-7","volume":"200","author":"W Zielonka","year":"1998","unstructured":"Zielonka, W.: Infinite games on finitely coloured graphs with applications to automata on infinite trees. Theor. Comput. Sci. 200(1\u20132), 135\u2013183 (1998)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Logics and Type Systems in Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61716-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T03:49:20Z","timestamp":1716954560000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61716-4_10"}},"subtitle":["Apartness and Bisimilarity"],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031617157","9783031617164"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61716-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"22 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}