IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Combining probabilistic and non-deterministic choice via weak distributive laws"

by Daniela Petrisan

Sat, 27 March 2021 at 11:20 am in Luxembourg, Luxembourg

Joint work with: Alexandre Goy

Abstract: It is a well known result that there is no distributive law between the powerset monad and the finite distribution monad. In this talk, I will briefly present a weak distributive law between these monads and a canonical way of composing them. Then I discuss ongoing extensions of this work to a continuous setting.