Monads and Quantitative Equational Theories for Nondeterminism and Probability

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]

Authors

Matteo Mio

This author has not been identified. Look up 'Matteo Mio' in Google

Valeria Vignudelli

This author has not been identified. Look up 'Valeria Vignudelli' in Google