M. Barr, Relational algebras, Reports of the Midwest Category Seminar IV, pp.39-55, 1970.

J. Beck, Distributive laws, Seminar on Triples and Categorical Homology Theory, pp.119-140, 1969.

G. Böhm, The weak theory of monads, Advances in Mathematics, vol.225, pp.1-32, 2010.

F. Bonchi, D. Petrisan, D. Pous, and J. Rot, Coinduction up-to in a fibrational setting, CSL-LICS, vol.20, p.9, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00936488

F. Bonchi, D. Petrisan, D. Pous, and J. Rot, A general account of coinduction up-to, Acta Inf, vol.54, pp.127-190, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01442724

F. Bonchi, A. Silva, and A. Sokolova, The Power of Convex Algebras, 28th International Conference on Concurrency Theory, vol.23, pp.1-23, 2017.

F. Bonchi, A. Sokolova, and V. Vignudelli, The Theory of Traces for Systems with Nondeterminism and Probability, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02187093

E. P. De-vink and J. J. Rutten, Bisimulation for probabilistic transition systems: A coalgebraic approach, Automata, Languages and Programming, pp.460-470, 1997.

E. Doberkat, Eilenberg-Moore algebras for stochastic relations, Information and Computation, vol.204, pp.1756-1781, 2006.

. Farkas, Ober die Theorie der einfachen Ungleichungen, J. Reine Angew. Math, vol.124, pp.1-24, 1902.

R. Garner, The Vietoris Monad and Weak Distributive Laws, 2019.

B. Jacobs, Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems, Electr. Notes Theor. Comput. Sci, vol.203, pp.131-152, 2008.

B. Jacobs, A. Silva, and A. Sokolova, Trace semantics via determinization, J. Comput. System Sci, vol.81, pp.859-879, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01539887

, 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012

C. Jones and G. D. Plotkin, A Probabilistic Powerdomain of Evaluations, LICS, pp.186-195, 1989.

A. Jung and R. Tix, The Troublesome Probabilistic Powerdomain, Electronic Notes in Theoretical Computer Science, vol.13, pp.70-91, 1998.

K. Keimel, D. Gordon, and . Plotkin, Mixed powerdomains for probability and nondeterminism, Logical Methods in Computer Science, vol.13, issue.1, 2017.

B. Klin and J. Salamanca, Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, vol.341, pp.261-276, 2018.

A. Kurz and J. Velebil, Relation lifting, a survey, J. Log. Algebr. Meth. Program, vol.85, pp.475-499, 2016.

S. Maclane, Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1971.

M. Mio, Upper-Expectation Bisimilarity and ?ukasiewicz -Calculus, Foundations of Software Science and Computation Structures, Anca Muscholl, pp.335-350, 2014.

M. Mislove, Nondeterminism and Probabilistic Choice: Obeying the Laws, CONCUR 2000 -Concurrency Theory, Catuscia Palamidessi, pp.350-365, 2000.

S. Lawrence and . Moss, Coalgebraic logic, Annals of Pure and Applied Logic, vol.96, pp.42-48, 1999.

G. D. Plotkin, A powerdomain construction, SIAM J. OF COM-PUTING, 1976.

D. Pous and D. Sangiorgi, Enhancements of the bisimulation proof method, pp.233-289, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00909391

N. Saheb-djahromi, Cpo's of measures for nondeterminism, Theoretical Computer Science, vol.12, issue.80, pp.90003-90004, 1980.

A. Silva, F. Bonchi, M. M. Bonsangue, and J. J. Rutten, Generalizing the powerset construction, coalgebraically, FSTTCS (LIPIcs), vol.8, pp.272-283, 2010.

A. Sokolova and H. Woracek, Congruences of convex algebras, Journal of Pure and Applied Algebra, vol.219, pp.3110-3148, 2015.

R. Street, Weak distributive laws, Theory and Applications of Categories, vol.22, pp.313-320, 2009.

R. Tix, K. Keimel, and G. Plotkin, Semantic Domains for Combining Probability and Non-Determinism, Electronic Notes in Theoretical Computer Science, vol.222, pp.3-99, 2009.

D. Varacca, Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation, BRICS Dissertation Series, 2003.

D. Varacca and G. Winskel, Distributing probability over non-determinism, Mathematical Structures in Computer Science, vol.16, issue.1, pp.87-113, 2006.

T. ?wirszcz, Monadic functors and convexity, Bulletin de l'Académie Polonaise des Sciences, Ser. Sci. Math. Astronom. Phys, vol.22, pp.39-42, 1974.

M. Zwart and D. Marsden, No-Go Theorems for Distributive Laws, 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.1-13, 2019.