Zobrazeno 1 - 10
of 31
pro vyhledávání: '"VIGNUDELLI, VALERIA"'
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 4 (December 3, 2024) lmcs:12339
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 metric spaces and can be arbitrary fuzzy relations or generalised metric sp
Externí odkaz:
http://arxiv.org/abs/2304.14361
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 this framework in two orthogonal directions: algebras endowed with gener
Externí odkaz:
http://arxiv.org/abs/2201.09087
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equ
Externí odkaz:
http://arxiv.org/abs/2012.00382
Autor:
Mio, Matteo, Vignudelli, Valeria
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 we lift this monad from the category of sets to the category of metric
Externí odkaz:
http://arxiv.org/abs/2005.07509
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 probability distributions is presented by the algebraic theory of convex
Externí odkaz:
http://arxiv.org/abs/2005.01670
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 2 (June 17, 2022) lmcs:6261
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 instantiating a coalgebraic construction known as the generalised powerse
Externí odkaz:
http://arxiv.org/abs/1808.00923
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p19:1-19:56, 56p
Autor:
SANGIORGI, DAVIDE1 davide.sangiorgi@unibo.it, VIGNUDELLI, VALERIA2 valeria.vignudelli@ens-lyon.fr
Publikováno v:
ACM Transactions on Programming Languages & Systems. Oct2019, Vol. 41 Issue 4, p1-64. 64p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We prove that every finitely generated convex set of finitely supported probability distributions has a unique base. We apply this result to provide an alternative proof of a recent result: the algebraic theory of convex semilattices presents the mon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::265ae36296d793dca991056315ba2b37
https://doi.org/10.4230/lipics.calco.2021.11
https://doi.org/10.4230/lipics.calco.2021.11