9 citations · 12 across the 6 of their papers we have counts for
6 papers
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
We present a generalisation of the theory of quantitative algebras of Mardare, Panangaden and Plotkin where (i) the carriers of quantitative algebras are not restricted to be metri…
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend th…
Combining nondeterminism, probability, and termination: equational and metric reasoning
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…
Monads and Quantitative Equational Theories for Nondeterminism and Probability
Matteo Mio, Valeria Vignudelli
The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work w…
Presenting convex sets of probability distributions by convex semilattices and unique bases
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
We prove that every finitely generated convex set of finitely supported probability distributions has a unique base, and use this result to show that the monad of convex sets of pr…
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by ins…