The Theory of Traces for Systems with Nondeterminism, Probability, and Termination von Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria

Volltext

Environmental Bisimulations for Probabilistic Higher-order Languages von Sangiorgi, Davide, Vignudelli, Valeria

Volltext

On Applicative Similarity, Sequentiality, and Full Abstraction von Crubillé, Raphaëlle, Dal Lago, Ugo, Sangiorgi, Davide, Vignudelli, Valeria

Volltext

Monads and Quantitative Equational Theories for Nondeterminism and Probability von Mio, Matteo, Vignudelli, Valeria

Volltext bestellen

Environmental bisimulations for probabilistic higher-order languages von Sangiorgi, Davide, Vignudelli, Valeria

Volltext

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces von Mio, Matteo, Sarkis, Ralph, Vignudelli, Valeria

Volltext

Monads and Quantitative Equational Theories for Nondeterminism and Probability von Mio, Matteo, Vignudelli, Valeria

Volltext

Presenting convex sets of probability distributions by convex semilattices and unique bases von Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria

Volltext