Matteo Mio, Valeria Vignudelli. Monads and Quantitative Equational Theories for Nondeterminism and Probability. In Igor Konnov 0001, Laura Kovács, editors, 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). Volume 171 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{MioV20, title = {Monads and Quantitative Equational Theories for Nondeterminism and Probability}, author = {Matteo Mio and Valeria Vignudelli}, year = {2020}, doi = {10.4230/LIPIcs.CONCUR.2020.28}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.28}, researchr = {https://researchr.org/publication/MioV20}, cites = {0}, citedby = {0}, booktitle = {31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)}, editor = {Igor Konnov 0001 and Laura Kovács}, volume = {171}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, isbn = {978-3-95977-160-3}, }