activity
20182023
most citedThe Theory of Traces for Systems with Nondeterminism, Probability, and Termination

9 citations · 12 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023★ 2 cited

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…