Relational algebras, Reports of the Midwest Category Seminar IV, pp.39-55, 1970. ,
Distributive laws, Seminar on Triples and Categorical Homology Theory, pp.119-140, 1969. ,
The weak theory of monads, Advances in Mathematics, vol.225, pp.1-32, 2010. ,
Coinduction up-to in a fibrational setting, CSL-LICS, vol.20, p.9, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00936488
A general account of coinduction up-to, Acta Inf, vol.54, pp.127-190, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01442724
The Power of Convex Algebras, 28th International Conference on Concurrency Theory, vol.23, pp.1-23, 2017. ,
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
Bisimulation for probabilistic transition systems: A coalgebraic approach, Automata, Languages and Programming, pp.460-470, 1997. ,
Eilenberg-Moore algebras for stochastic relations, Information and Computation, vol.204, pp.1756-1781, 2006. ,
Ober die Theorie der einfachen Ungleichungen, J. Reine Angew. Math, vol.124, pp.1-24, 1902. ,
The Vietoris Monad and Weak Distributive Laws, 2019. ,
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems, Electr. Notes Theor. Comput. Sci, vol.203, pp.131-152, 2008. ,
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
A Probabilistic Powerdomain of Evaluations, LICS, pp.186-195, 1989. ,
The Troublesome Probabilistic Powerdomain, Electronic Notes in Theoretical Computer Science, vol.13, pp.70-91, 1998. ,
Mixed powerdomains for probability and nondeterminism, Logical Methods in Computer Science, vol.13, issue.1, 2017. ,
, Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, vol.341, pp.261-276, 2018.
Relation lifting, a survey, J. Log. Algebr. Meth. Program, vol.85, pp.475-499, 2016. ,
Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1971. ,
Upper-Expectation Bisimilarity and ?ukasiewicz -Calculus, Foundations of Software Science and Computation Structures, Anca Muscholl, pp.335-350, 2014. ,
Nondeterminism and Probabilistic Choice: Obeying the Laws, CONCUR 2000 -Concurrency Theory, Catuscia Palamidessi, pp.350-365, 2000. ,
Coalgebraic logic, Annals of Pure and Applied Logic, vol.96, pp.42-48, 1999. ,
A powerdomain construction, SIAM J. OF COM-PUTING, 1976. ,
Enhancements of the bisimulation proof method, pp.233-289, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00909391
Cpo's of measures for nondeterminism, Theoretical Computer Science, vol.12, issue.80, pp.90003-90004, 1980. ,
Generalizing the powerset construction, coalgebraically, FSTTCS (LIPIcs), vol.8, pp.272-283, 2010. ,
Congruences of convex algebras, Journal of Pure and Applied Algebra, vol.219, pp.3110-3148, 2015. ,
Weak distributive laws, Theory and Applications of Categories, vol.22, pp.313-320, 2009. ,
Semantic Domains for Combining Probability and Non-Determinism, Electronic Notes in Theoretical Computer Science, vol.222, pp.3-99, 2009. ,
Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation, BRICS Dissertation Series, 2003. ,
Distributing probability over non-determinism, Mathematical Structures in Computer Science, vol.16, issue.1, pp.87-113, 2006. ,
Monadic functors and convexity, Bulletin de l'Académie Polonaise des Sciences, Ser. Sci. Math. Astronom. Phys, vol.22, pp.39-42, 1974. ,
No-Go Theorems for Distributive Laws, 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.1-13, 2019. ,