{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T07:15:13Z","timestamp":1790752513202,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"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":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394795","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"454-464","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Combining probabilistic and non-deterministic choice via weak distributive laws"],"prefix":"10.1145","author":[{"given":"Alexandre","family":"Goy","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, CentraleSup\u00e9lec, MICS, Gif-sur-Yvette, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniela","family":"Petri\u015fan","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Paris, IRIF, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Reports of the","author":"Barr Michael","unstructured":"Michael Barr . 1970. Relational algebras . In Reports of the Midwest Category Seminar IV. Springer , 39--55. Michael Barr. 1970. Relational algebras. In Reports of the Midwest Category Seminar IV. Springer, 39--55."},{"key":"e_1_3_2_1_2_1","volume-title":"Seminar on Triples and Categorical Homology Theory","author":"Beck Jon","unstructured":"Jon Beck . 1969. Distributive laws . In Seminar on Triples and Categorical Homology Theory , B. Eckmann (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 119--140. Jon Beck. 1969. Distributive laws. In Seminar on Triples and Categorical Homology Theory, B. Eckmann (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 119--140."},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"Coinduction up-to in a fibrational setting","volume":"20","author":"Bonchi Filippo","year":"2014","unstructured":"Filippo Bonchi , Daniela Petrisan , Damien Pous , and Jurriaan Rot . 2014 . Coinduction up-to in a fibrational setting . In CSL-LICS. ACM , 20 : 1 -- 20 :9. Filippo Bonchi, Daniela Petrisan, Damien Pous, and Jurriaan Rot. 2014. Coinduction up-to in a fibrational setting. In CSL-LICS. ACM, 20:1--20:9.","journal-title":"CSL-LICS. ACM"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0271-4"},{"key":"e_1_3_2_1_5_1","volume-title":"The Power of Convex Algebras. In 28th International Conference on Concurrency Theory, CONCUR 2017","author":"Bonchi Filippo","year":"2017","unstructured":"Filippo Bonchi , Alexandra Silva , and Ana Sokolova . 2017 . The Power of Convex Algebras. In 28th International Conference on Concurrency Theory, CONCUR 2017 , September 5-8, 2017, Berlin, Germany. 23:1--23:18. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR. 2017.23 10.4230\/LIPIcs.CONCUR.2017.23 Filippo Bonchi, Alexandra Silva, and Ana Sokolova. 2017. The Power of Convex Algebras. In 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. 23:1--23:18. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2017.23"},{"key":"e_1_3_2_1_6_1","volume-title":"The Theory of Traces for Systems with Nondeterminism and Probability. In 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019","author":"Bonchi Filippo","year":"2019","unstructured":"Filippo Bonchi , Ana Sokolova , and Valeria Vignudelli . 2019 . The Theory of Traces for Systems with Nondeterminism and Probability. In 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019 , Vancouver, BC, Canada , June 24-27, 2019. 1--14. https:\/\/doi.org\/10.1109\/LICS.2019.8785673 10.1109\/LICS.2019.8785673 Filippo Bonchi, Ana Sokolova, and Valeria Vignudelli. 2019. The Theory of Traces for Systems with Nondeterminism and Probability. In 34th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. 1--14. https:\/\/doi.org\/10.1109\/LICS.2019.8785673"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2010.02.015"},{"key":"e_1_3_2_1_8_1","volume-title":"Bisimulation for probabilistic transition systems: A coalgebraic approach","author":"de Vink E. P.","unstructured":"E. P. de Vink and J. J. M. M. Rutten . 1997. Bisimulation for probabilistic transition systems: A coalgebraic approach . In Automata, Languages and Programming, Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 460--470. E. P. de Vink and J. J. M. M. Rutten. 1997. Bisimulation for probabilistic transition systems: A coalgebraic approach. In Automata, Languages and Programming, Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 460--470."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.09.001"},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"Ober die Theorie der einfachen Ungleichungen","volume":"124","author":"Farkas J","year":"1902","unstructured":"J Farkas . 1902 . Ober die Theorie der einfachen Ungleichungen . J. Reine Angew. Math 124 (1902), 1 -- 24 . J Farkas. 1902. Ober die Theorie der einfachen Ungleichungen. J. Reine Angew. Math 124 (1902), 1--24.","journal-title":"J. Reine Angew. Math"},{"key":"e_1_3_2_1_11_1","volume-title":"The Vietoris Monad and Weak Distributive Laws. Applied Categorical Structures (16","author":"Garner Richard","year":"2019","unstructured":"Richard Garner . 2019. The Vietoris Monad and Weak Distributive Laws. Applied Categorical Structures (16 Oct 2019 ). https:\/\/doi.org\/10.1007\/s10485-019-09582-w 10.1007\/s10485-019-09582-w Richard Garner. 2019. The Vietoris Monad and Weak Distributive Laws. Applied Categorical Structures (16 Oct 2019). https:\/\/doi.org\/10.1007\/s10485-019-09582-w"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.023"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2014.12.005"},{"key":"e_1_3_2_1_14_1","volume-title":"Plotkin","author":"Jones C.","year":"1989","unstructured":"C. Jones and Gordon D . Plotkin . 1989 . A Probabilistic Powerdomain of Evaluations. In LICS. IEEE Computer Society , 186--195. C. Jones and Gordon D. Plotkin. 1989. A Probabilistic Powerdomain of Evaluations. In LICS. IEEE Computer Society, 186--195."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80216-6"},{"key":"e_1_3_2_1_16_1","volume-title":"Plotkin","author":"Keimel Klaus","year":"2017","unstructured":"Klaus Keimel and Gordon D . Plotkin . 2017 . Mixed powerdomains for probability and nondeterminism. Logical Methods in Computer Science Volume 13, Issue 1 (Jan. 2017). https:\/\/doi.org\/10.23638\/LMCS-130:2)2017 10.23638\/LMCS-130:2)2017 Klaus Keimel and Gordon D. Plotkin. 2017. Mixed powerdomains for probability and nondeterminism. Logical Methods in Computer Science Volume 13, Issue 1 (Jan. 2017). https:\/\/doi.org\/10.23638\/LMCS-130:2)2017"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2018.11.013"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.08.002"},{"key":"e_1_3_2_1_19_1","volume-title":"Categories for the Working Mathematician","author":"MacLane Saunders","unstructured":"Saunders MacLane . 1971. Categories for the Working Mathematician . Springer-Verlag , New York . Graduate Texts in Mathematics, Vol. 5 . Saunders MacLane. 1971. Categories for the Working Mathematician. Springer-Verlag, New York. Graduate Texts in Mathematics, Vol. 5."},{"key":"e_1_3_2_1_20_1","volume-title":"Foundations of Software Science and Computation Structures","author":"Mio Matteo","unstructured":"Matteo Mio . 2014. Upper-Expectation Bisimilarity and \u0141ukasiewicz μ- Calculus . In Foundations of Software Science and Computation Structures , Anca Muscholl (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 335--350. Matteo Mio. 2014. Upper-Expectation Bisimilarity and \u0141ukasiewicz μ-Calculus. In Foundations of Software Science and Computation Structures, Anca Muscholl (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 335--350."},{"key":"e_1_3_2_1_21_1","volume-title":"Nondeterminism and Probabilistic Choice: Obeying the Laws. In CONCUR 2000 --- Concurrency Theory, Catuscia Palamidessi (Ed.). Springer Berlin Heidelberg","author":"Mislove Michael","year":"2000","unstructured":"Michael Mislove . 2000 . Nondeterminism and Probabilistic Choice: Obeying the Laws. In CONCUR 2000 --- Concurrency Theory, Catuscia Palamidessi (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg, 350--365. Michael Mislove. 2000. Nondeterminism and Probabilistic Choice: Obeying the Laws. In CONCUR 2000 --- Concurrency Theory, Catuscia Palamidessi (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 350--365."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"e_1_3_2_1_23_1","series-title":"SIAM J. OF COMPUTING","volume-title":"A powerdomain construction","author":"Plotkin G. D.","year":"1976","unstructured":"G. D. Plotkin . 1976. A powerdomain construction . SIAM J. OF COMPUTING ( 1976 ). G. D. Plotkin. 1976. A powerdomain construction. SIAM J. OF COMPUTING (1976)."},{"key":"e_1_3_2_1_24_1","volume-title":"Enhancements of the bisimulation proof method","author":"Pous Damien","unstructured":"Damien Pous and Davide Sangiorgi . 2011. Enhancements of the bisimulation proof method . Cambridge University Press , 233--289. https:\/\/doi.org\/10.1017\/CBO9780511792588.007 10.1017\/CBO9780511792588.007 Damien Pous and Davide Sangiorgi. 2011. Enhancements of the bisimulation proof method. Cambridge University Press, 233--289. https:\/\/doi.org\/10.1017\/CBO9780511792588.007"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90003-1"},{"key":"e_1_3_2_1_26_1","volume-title":"Rutten","author":"Silva Alexandra","year":"2010","unstructured":"Alexandra Silva , Filippo Bonchi , Marcello M. Bonsangue , and Jan J. M. M . Rutten . 2010 . Generalizing the powerset construction, coalgebraically. In FSTTCS (LIPIcs), Vol. 8 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , 272--283. Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, and Jan J. M. M. Rutten. 2010. Generalizing the powerset construction, coalgebraically. In FSTTCS (LIPIcs), Vol. 8. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 272--283."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2014.10.005"},{"key":"e_1_3_2_1_28_1","first-page":"313","article-title":"Weak distributive laws","volume":"22","author":"Street Ross","year":"2009","unstructured":"Ross Street . 2009 . Weak distributive laws . Theory and Applications of Categories 22 , 12 (2009), 313 -- 320 . Ross Street. 2009. Weak distributive laws. Theory and Applications of Categories 22, 12 (2009), 313--320.","journal-title":"Theory and Applications of Categories"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.01.002"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505005074"},{"key":"e_1_3_2_1_32_1","volume-title":"No-Go Theorems for Distributive Laws. In 2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society","author":"Zwart M.","year":"2019","unstructured":"M. Zwart and D. Marsden . 2019 . No-Go Theorems for Distributive Laws. In 2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society , Los Alamitos, CA, USA, 1--13. https:\/\/doi.org\/10.1109\/LICS. 2019 .8785707 10.1109\/LICS.2019.8785707 M. Zwart and D. Marsden. 2019. No-Go Theorems for Distributive Laws. In 2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, Los Alamitos, CA, USA, 1--13. https:\/\/doi.org\/10.1109\/LICS.2019.8785707"},{"key":"e_1_3_2_1_33_1","first-page":"39","article-title":"Monadic functors and convexity. Bulletin de l'Acad\u00e9mie Polonaise des Sciences","volume":"22","author":"\u0160wirszcz T.","year":"1974","unstructured":"T. \u0160wirszcz . 1974 . Monadic functors and convexity. Bulletin de l'Acad\u00e9mie Polonaise des Sciences , Ser. Sci. Math. Astronom. Phys. 22 (1974), 39 -- 42 . https:\/\/www.fuw.edu.pl\/~kostecki\/scans\/swirszcz1974.pdf T. \u0160wirszcz. 1974. Monadic functors and convexity. Bulletin de l'Acad\u00e9mie Polonaise des Sciences, Ser. Sci. Math. Astronom. Phys. 22 (1974), 39--42. https:\/\/www.fuw.edu.pl\/~kostecki\/scans\/swirszcz1974.pdf","journal-title":"Ser. Sci. Math. Astronom. Phys."}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Saarbr\u00fccken Germany","acronym":"LICS '20","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:36Z","timestamp":1750197756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":32,"alternative-id":["10.1145\/3373718.3394795","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394795","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}