4 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our mai…