{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:18:53Z","timestamp":1756635533765,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T00:00:00Z","timestamp":1531094400000},"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":[[2018,7,9]]},"DOI":"10.1145\/3209108.3209175","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T12:14:43Z","timestamp":1530101683000},"page":"669-678","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Boolean-Valued Semantics for the Stochastic \u03bb-Calculus"],"prefix":"10.1145","author":[{"given":"Giorgio","family":"Bacci","sequence":"first","affiliation":[{"name":"Aalborg University, Denmark"}]},{"given":"Robert","family":"Furber","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}]},{"given":"Dexter","family":"Kozen","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}]},{"given":"Radu","family":"Mardare","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[{"name":"McGill University, Canada"}]},{"given":"Dana","family":"Scott","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Boolean-Valued Models and Independence Proofs in Set Theory","author":"Bell John L.","unstructured":"John L. Bell . 1985. Boolean-Valued Models and Independence Proofs in Set Theory ( 2 nd ed.). Number 12 in Oxford Logic Guides. Oxford University Press . John L. Bell. 1985. Boolean-Valued Models and Independence Proofs in Set Theory (2nd ed.). Number 12 in Oxford Logic Guides. Oxford University Press.","edition":"2"},{"key":"e_1_3_2_1_2_1","volume-title":"Measure Theory","author":"Fremlin David H.","year":"2003","unstructured":"David H. Fremlin . 2003. Measure Theory , Volume 4 . http:\/\/www.essex.ac.uk\/maths\/people\/fremlin\/mt.htm. ( 2003 ). David H. Fremlin. 2003. Measure Theory, Volume 4. http:\/\/www.essex.ac.uk\/maths\/people\/fremlin\/mt.htm. (2003)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19590050703"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence. 220--229","author":"Goodman Noah","year":"2008","unstructured":"Noah Goodman , Vikash Mansingkha , Daniel Roy , Keith Bonawitz , and Joshua Tenenbaum . 2008 . Church: a language for generative models . In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence. 220--229 . Noah Goodman, Vikash Mansingkha, Daniel Roy, Keith Bonawitz, and Joshua Tenenbaum. 2008. Church: a language for generative models. In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence. 220--229."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535850"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292558"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"volume-title":"Proceedings of the Fourth Annual IEEE Symposium On Logic In Computer Science. 186--195","author":"Jones C.","key":"e_1_3_2_1_8_1","unstructured":"C. Jones and G. D. Plotkin . 1989. A Probabilistic Powerdomain of Evaluations . In Proceedings of the Fourth Annual IEEE Symposium On Logic In Computer Science. 186--195 . C. Jones and G. D. Plotkin. 1989. A Probabilistic Powerdomain of Evaluations. In Proceedings of the Fourth Annual IEEE Symposium On Logic In Computer Science. 186--195."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"A. Jung and R. Tix. 1998. The troublesome probabilistic powerdomain. Electronic Notes in Theoretical Computer Science 13 (1998).  A. Jung and R. Tix. 1998. The troublesome probabilistic powerdomain. Electronic Notes in Theoretical Computer Science 13 (1998).","DOI":"10.1016\/S1571-0661(05)80216-6"},{"volume-title":"Probabilistic symmetries and invariance principles","author":"Kallenberg Olav","key":"e_1_3_2_1_10_1","unstructured":"Olav Kallenberg . 2006. Probabilistic symmetries and invariance principles . Springer Science and Business Media . Olav Kallenberg. 2006. Probabilistic symmetries and invariance principles. Springer Science and Business Media."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535872"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503288"},{"volume-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers H.","key":"e_1_3_2_1_14_1","unstructured":"H. Rogers . 1967. Theory of Recursive Functions and Effective Computability . McGraw-Hill . H. Rogers. 1967. Theory of Recursive Functions and Effective Computability. McGraw-Hill."},{"key":"e_1_3_2_1_15_1","volume-title":"On the Fundamental Ideas of Measure Theory. Amer. Math. Soc. Transl. 71","author":"Rohlin Vladimir A.","year":"1952","unstructured":"Vladimir A. Rohlin . 1952. On the Fundamental Ideas of Measure Theory. Amer. Math. Soc. Transl. 71 ( 1952 ). Vladimir A. Rohlin. 1952. On the Fundamental Ideas of Measure Theory. Amer. Math. Soc. Transl. 71 (1952)."},{"volume-title":"Mathematical Foundations Of Computer Science (Lecture Notes In Computer Science)","author":"Saheb-Djahromi N.","key":"e_1_3_2_1_16_1","unstructured":"N. Saheb-Djahromi . 1978. Probabilistic LCF . In Mathematical Foundations Of Computer Science (Lecture Notes In Computer Science) . Springer-Verlag . N. Saheb-Djahromi. 1978. Probabilistic LCF. In Mathematical Foundations Of Computer Science (Lecture Notes In Computer Science). Springer-Verlag."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01705520"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2014.03.003"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009843"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064899.3064910"},{"volume-title":"Probability with Martingales","author":"Williams David","key":"e_1_3_2_1_22_1","unstructured":"David Williams . 1991. Probability with Martingales . Cambridge University Press . David Williams. 1991. Probability with Martingales. Cambridge University Press."}],"event":{"name":"LICS '18: 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Oxford United Kingdom","acronym":"LICS '18"},"container-title":["Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209175","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209108.3209175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:08Z","timestamp":1750212428000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209108.3209175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,9]]},"references-count":22,"alternative-id":["10.1145\/3209108.3209175","10.1145\/3209108"],"URL":"https:\/\/doi.org\/10.1145\/3209108.3209175","relation":{},"subject":[],"published":{"date-parts":[[2018,7,9]]},"assertion":[{"value":"2018-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}