{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:58Z","timestamp":1750306498770,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T00:00:00Z","timestamp":1453075200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,1,18]]},"DOI":"10.1145\/2854065.2854080","type":"proceedings-article","created":{"date-parts":[[2016,1,12]],"date-time":"2016-01-12T13:18:57Z","timestamp":1452604737000},"page":"142-153","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Bisimulation up-to techniques for psi-calculi"],"prefix":"10.1145","author":[{"given":"Johannes","family":"\u00c5man Pohjola","sequence":"first","affiliation":[{"name":"Uppsala University, Sweden"}]},{"given":"Joachim","family":"Parrow","sequence":"additional","affiliation":[{"name":"Uppsala University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2016,1,18]]},"reference":[{"unstructured":"J. \u02da Aman Pohjola. Formalisations of up-to techniques for psicalculi. http:\/\/www.it.uu.se\/research\/group\/mobility\/theorem\/upto.tgz Oct. 2015. Isabelle formalisation of the definitions theorems and proofs.  J. \u02da Aman Pohjola. Formalisations of up-to techniques for psicalculi. http:\/\/www.it.uu.se\/research\/group\/mobility\/theorem\/upto.tgz Oct. 2015. Isabelle formalisation of the definitions theorems and proofs.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","first-page":"50","volume-title":"International Workshop, TYPES","author":"Ballarin C.","year":"2003"},{"volume-title":"Uppsala University","year":"2010","author":"Bengtson J.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/978-3-642-03359-9_9"},{"unstructured":"J. Bengtson M. Johansson J. Parrow and B. Victor. Psi-calculi: A framework for mobile processes with nominal data and logic. Logical Methods in Computer Science 7(1) 2011. URL http:\/\/dx.doi.org\/10. 2168\/LMCS-7(1:11)2011.  J. Bengtson M. Johansson J. Parrow and B. Victor. Psi-calculi: A framework for mobile processes with nominal data and logic. Logical Methods in Computer Science 7(1) 2011. URL http:\/\/dx.doi.org\/10. 2168\/LMCS-7(1:11)2011.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/2075679.2075688"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2676724.2693170"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/j.entcs.2008.05.019"},{"issue":"245","key":"e_1_3_2_1_9_1","first-page":"267","article-title":"Higher-level synchronising devices in meije-sccs","volume":"37","author":"de Simone R.","year":"1985","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/s001650200016"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.entcs.2008.12.118"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.5555\/646524.756866"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/2429069.2429093"},{"volume-title":"Division of Computer Systems","year":"2010","author":"Johansson M.","key":"e_1_3_2_1_14_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/978-3-662-44584-6_8"},{"key":"e_1_3_2_1_16_1","first-page":"0131149849","author":"Milner R.","year":"1989","journal-title":"Inc."},{"volume-title":"Logic and Algebra of Specification","year":"1991","author":"Milner R.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","first-page":"65869","volume-title":"Cambridge University Press","author":"Milner R.","year":"1999"},{"unstructured":"T.\n       \n      Nipkow L. C.\n       \n      Paulson and \n      \n      \n      M.\n       \n      Wenzel\n      \n  \n  . \n  Isabelle\/HOL: a Proof Assistant for Higher-Order Logic volume \n  2283\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer-Verlag 2002\n  . ISBN 3-540-43376-7.   T. Nipkow L. C. Paulson and M. Wenzel. Isabelle\/HOL: a Proof Assistant for Higher-Order Logic volume 2283 of Lecture Notes in Computer Science. Springer-Verlag 2002. ISBN 3-540-43376-7.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","first-page":"6","article-title":"Higher-order psi-calculi. Mathematical Structures in Computer Science","volume":"1","author":"Parrow J.","year":"2013","journal-title":"FirstView"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/S0890-5401(03)00138-X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/978-3-642-12032-9_9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1007\/11523468_59"},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","first-page":"366","volume-title":"APLAS","author":"Pous D."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1016\/j.tcs.2007.02.060"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1017\/S0960129598002527"},{"doi-asserted-by":"crossref","unstructured":"D.\n       \n      Sangiorgi\n     and \n      \n      \n      R.\n       \n      Milner\n    . \n      \n      \n      The\n     problem of \n      \n  \n  \u201cweak bisimulation up to\u201d. In R. Cleaveland editor CONCUR volume \n  630\n   of \n  Lecture Notes in Computer Science pages 32\u2013\n  46\n  . Springer 1992. ISBN 3-540-55822-5. URL http:\/\/dx.doi.org\/10.1007\/BFb0084781.   D. Sangiorgi and R. Milner. The problem of \u201cweak bisimulation up to\u201d. In R. Cleaveland editor CONCUR volume 630 of Lecture Notes in Computer Science pages 32\u201346. Springer 1992. ISBN 3-540-55822-5. URL http:\/\/dx.doi.org\/10.1007\/BFb0084781.","key":"e_1_3_2_1_27_1","DOI":"10.1007\/BFb0084781"},{"doi-asserted-by":"crossref","unstructured":"D. Sangiorgi and J. Rutten editors. Advanced Topics in Bisimulation and Coinduction. Cambridge University Press New York NY USA 1st edition 2011. ISBN 1107004977 9781107004979.   D. Sangiorgi and J. Rutten editors. Advanced Topics in Bisimulation and Coinduction. Cambridge University Press New York NY USA 1st edition 2011. ISBN 1107004977 9781107004979.","key":"e_1_3_2_1_28_1","DOI":"10.1017\/CBO9780511792588.002"},{"volume-title":"Cambridge University Press","year":"2001","author":"Sangiorgi D.","key":"e_1_3_2_1_29_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1007\/11532231_4"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation"],"acronym":"CPP 2016","name":"CPP 2016: Certified Proofs and Programs","location":"St. Petersburg FL USA"},"container-title":["Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2854065.2854080","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2854065.2854080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:47Z","timestamp":1750225727000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2854065.2854080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,18]]},"references-count":30,"alternative-id":["10.1145\/2854065.2854080","10.1145\/2854065"],"URL":"https:\/\/doi.org\/10.1145\/2854065.2854080","relation":{},"subject":[],"published":{"date-parts":[[2016,1,18]]},"assertion":[{"value":"2016-01-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}