乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:39:43Z","timestamp":1740101983545,"version":"3.37.3"},"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":4,"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":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.2307\/2370619"},{"doi-asserted-by":"publisher","key":"ref35","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"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1016\/j.jlap.2004.03.009"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.2168\/LMCS-7(2:16)2011"},{"doi-asserted-by":"publisher","key":"ref37","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"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.2307\/2271658"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1016\/j.jcss.2014.12.006"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1007\/978-1-4612-9860-1"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/0022-4049(93)90035-R"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1006\/inco.1995.1103"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.jlamp.2015.09.002"},{"doi-asserted-by":"publisher","key":"ref32","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"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/LICS.2006.7"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1016\/j.tcs.2011.02.036"},{"doi-asserted-by":"publisher","key":"ref16","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"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/3209108.3209149"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/LICS.1989.39174"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.46298\/lmcs-18(3:37)2022"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1016\/j.tcs.2004.07.022"},{"doi-asserted-by":"publisher","key":"ref25","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"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1006\/inco.1998.2725"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-662-43951-7_17"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/BFb0039592"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1017\/CBO9781316823187"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/978-3-540-78499-9_30"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/3373718.3394738"},{"year":"1994","author":"borceux","journal-title":"Handbook of Categorical Algebra 3","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.2168\/LMCS-11(2:14)2015"},{"doi-asserted-by":"publisher","key":"ref4","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"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/200836.200876"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","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]]}}}