{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:32:43Z","timestamp":1729632763367,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285625","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T22:54:03Z","timestamp":1518476043000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Bisimulations for probabilistic linear lambda calculi"],"prefix":"10.1109","author":[{"given":"Yuxin","family":"Deng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1123"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.021"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(85)80001-2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837651"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.02.011"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507658"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535872"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-45198-4","author":"deng","year":"2014","journal-title":"Semantics of Probabilistic Processes An Operational Approach"},{"key":"ref12","first-page":"427","article-title":"On coinduction and quantum lambda calculi","author":"deng","year":"2015","journal-title":"Proc CONCUR'15"},{"key":"ref13","first-page":"274","article-title":"Testing finitary probabilistic processes (extended abstract)","author":"deng","year":"2009","journal-title":"CONCUR'09"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.03.006"},{"journal-title":"Labelled Markov Processes","year":"1999","author":"desharnais","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47677-3_5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3573-9_6"},{"key":"ref18","first-page":"258","article-title":"A type system for bounded space and functional in-place update","volume":"7","author":"hofmann","year":"2000","journal-title":"Nord J Comput"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00009-9"},{"journal-title":"Coinductive techniques on a linear quantum $\\lambda$-calculus","year":"2016","author":"rioli","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22177-9_24"},{"key":"ref27","article-title":"Lambda definability in the full type hierarchy","author":"plotkin","year":"1980","journal-title":"To H B Curry Essays on combinatory logic lambda calculus and formalism"},{"journal-title":"Typing linear and non-linear higher-order mobile embedded resources with local names","year":"2007","author":"bundgaard","key":"ref3"},{"key":"ref6","first-page":"209","article-title":"On probabilistic applicative bisimulation and call-by-value $\\lambda$-calculi","author":"crubill\u00e9","year":"2014","journal-title":"ESOP'14"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_26"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2951"},{"key":"ref8","first-page":"633","article-title":"Metric reasoning about $\\lambda$-terms: The affine case","author":"crubill\u00e9","year":"2015","journal-title":"Proc LICS'15"},{"journal-title":"On probabilistic applicative bisimulation and call-by-value $\\lambda$-calculi (long version)","year":"2014","author":"crubill\u00e9","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003639"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23506-6_7"},{"key":"ref1","first-page":"65","article-title":"The lazy lambda calculus","author":"abramsky","year":"1990","journal-title":"Research Topics in Functional Programming"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"journal-title":"Probabilistic nondeterminism","year":"1990","author":"jones","key":"ref21"},{"journal-title":"Lambda calculus models of programming languages","year":"1969","author":"morris","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511792588.006"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1145\/2535838.2535879","article-title":"Applying quantitative semantics to higher-order quantum computing","author":"pagani","year":"2014","journal-title":"POPL '14"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2017,9,13]]},"location":"Sophia Antipolis","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285625.pdf?arnumber=8285625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T23:27:41Z","timestamp":1693524461000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285625\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285625","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}