{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:32:28Z","timestamp":1767929548390,"version":"3.49.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175706","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-13","source":"Crossref","is-referenced-by-count":8,"title":["Weak Similarity in Higher-Order Mathematical Operational Semantics"],"prefix":"10.1109","author":[{"given":"Henning","family":"Urbat","sequence":"first","affiliation":[{"name":"Friedrich-Alexander-Universität Erlangen-Nürnberg"}]},{"given":"Stelios","family":"Tsampas","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universität Erlangen-Nürnberg"}]},{"given":"Sergey","family":"Goncharov","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universität Erlangen-Nürnberg"}]},{"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universität Erlangen-Nürnberg"}]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universität Erlangen-Nürnberg"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2307\/2370619"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(85)80001-2"},{"key":"ref12","first-page":"341","article-title":"Metric reasoning about ?-terms: The general case","author":"crubill\u00e9","year":"2017","journal-title":"ESOP’17"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.009"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(2:16)2011"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614955"},{"key":"ref14","first-page":"1","article-title":"Effectful applicative bisimilarity: Monads, relators, and Howe’s method","author":"dal lago","year":"2017","journal-title":"LICS’17"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.2307\/2271658"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2014.12.006"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(93)90035-R"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1103"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.09.002"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.01.012"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0060439","article-title":"Relational algebras","volume":"137","author":"barr","year":"1970","journal-title":"Proc Midwest Category Seminar"},{"key":"ref1","first-page":"65","article-title":"The lazy ?-calculus","author":"abramsky","year":"1990","journal-title":"Research Topics in Functional Programming"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.7"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.02.036"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782615"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1109\/LICS56636.2023.10175706","article-title":"Weak similarity in higher-order mathematical operational semantics","author":"urbat","year":"2023"},{"key":"ref19","first-page":"30:1","article-title":"Stateful structural operational semantics","volume":"228","author":"goncharov","year":"2022","journal-title":"FSCD’22"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209149"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39174"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-18(3:37)2022"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.022"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0008"},{"key":"ref20","first-page":"632","article-title":"Towards a higher-order mathematical operational semantics","volume":"7","author":"goncharov","year":"2023","journal-title":"POPL’23"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2725"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43951-7_17"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039592"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316823187"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78499-9_30"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394738"},{"key":"ref7","author":"borceux","year":"1994","journal-title":"Handbook of Categorical Algebra 3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(2:14)2015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00152-9"},{"key":"ref3","article-title":"On generalised coinduction and probabilistic specification formats: Distributive laws in coalgebraic modelling","author":"bartels","year":"2004","journal-title":"Ph D Dissertation"},{"key":"ref6","first-page":"240","article-title":"Lax bialgebras and up-to techniques for weak bisimulations","volume":"42","author":"bonchi","year":"2015","journal-title":"CONCUR’15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200876"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Boston, MA, USA","start":{"date-parts":[[2023,6,26]]},"end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175706.pdf?arnumber=10175706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T17:58:35Z","timestamp":1690912715000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175706","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}