乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:30:27Z","timestamp":1725687027068},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,22]],"date-time":"2021-01-22T00:00:00Z","timestamp":1611273600000},"content-version":"vor","delay-in-days":368,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["2017R1A2B2007512"],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007297","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-17-1-2930"],"id":[{"id":"10.13039\/100007297","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1521539"],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,1,20]]},"DOI":"10.1145\/3372885.3373813","type":"proceedings-article","created":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T13:09:33Z","timestamp":1579698573000},"page":"71-84","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["An equational theory for weak bisimulation via generalized parameterized coinduction"],"prefix":"10.1145","author":[{"given":"Yannick","family":"Zakowski","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Paul","family":"He","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Chung-Kil","family":"Hur","sequence":"additional","affiliation":[{"name":"Seoul National University, South Korea"}]},{"given":"Steve","family":"Zdancewic","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,1,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-13(3:27)2017"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2019.09.003"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158131"},{"volume-title":"Fundamental Approaches to Software Engineering","author":"Hausmann Daniel","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429093"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_20"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00126-2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-12(2:11)2016"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12032-9_9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.060"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934564"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511792588.007"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646727.703207"},{"key":"e_1_3_2_1_15_1","unstructured":"Davide Sangiorgi and David Walker. 2001. PI-Calculus: A Theory of Mobile Processes. Cambridge University Press New York NY USA. Davide Sangiorgi and David Walker. 2001. PI-Calculus: A Theory of Mobile Processes. Cambridge University Press New York NY USA."},{"key":"e_1_3_2_1_16_1","unstructured":"Steven Sch\u00e4fer. 2019. Engineering Formal Systems in Constructive Type Theory. Ph.D. Dissertation. Saarland University. Steven Sch\u00e4fer. 2019. Engineering Formal Systems in Constructive Type Theory. Ph.D. Dissertation. Saarland University."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Gert Smolka Steven Sch\u00e4fer and Christian Doczkal. 2015. Transfinite Constructions in Classical Type Theory. In Interactive Theorem Proving Christian Urban and Xingyuan Zhang (Eds.). Springer International Publishing Cham 391\u2013404. Gert Smolka Steven Sch\u00e4fer and Christian Doczkal. 2015. Transfinite Constructions in Classical Type Theory. In Interactive Theorem Proving Christian Urban and Xingyuan Zhang (Eds.). Springer International Publishing Cham 391\u2013404.","DOI":"10.1007\/978-3-319-22102-1_26"},{"key":"e_1_3_2_1_18_1","unstructured":"Yong Kiam Tan Magnus O. Myreen Ramana Kumar Anthony C. J. Fox Scott Owens and Michael Norrish. 2016. A new verified compiler backend for CakeML. In ICFP. Yong Kiam Tan Magnus O. Myreen Ramana Kumar Anthony C. J. Fox Scott Owens and Michael Norrish. 2016. A new verified compiler backend for CakeML. In ICFP."},{"volume-title":"Interaction Trees. In Proceedings of the 47th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL \u201920)","year":"2020","author":"Zakowski Yannick","key":"e_1_3_2_1_19_1"}],"event":{"name":"POPL '20: 47th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"New Orleans LA USA","acronym":"POPL '20"},"container-title":["Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372885.3373813","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372885.3373813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T15:10:05Z","timestamp":1673104205000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372885.3373813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,20]]},"references-count":19,"alternative-id":["10.1145\/3372885.3373813","10.1145\/3372885"],"URL":"https:\/\/doi.org\/10.1145\/3372885.3373813","relation":{},"subject":[],"published":{"date-parts":[[2020,1,20]]},"assertion":[{"value":"2020-01-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}