Termination in Convex Sets of Distributions
From MaRDI portal
Publication:4558786
DOI10.23638/LMCS-14(4:17)2018zbMath1400.68146arXiv1710.10402OpenAlexW2767081344MaRDI QIDQ4558786
Publication date: 30 November 2018
Full work available at URL: https://arxiv.org/abs/1710.10402
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20) Eilenberg-Moore and Kleisli constructions for monads (18C20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic systems coalgebraically: a survey
- A hierarchy of probabilistic system types
- Extreme convex sets in \({\mathbb{R}}^ 2\)
- Eilenberg--Moore algebras for stochastic relations
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Convexity theories. 0: Foundations
- Convexity theories. IV: Klein-Hilbert parts in convex modules
- On the semantics of Markov automata
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Trace semantics via determinization
- On the quasivariety on convex subsets of affine spaces
- A cogenerator for preseparated superconvex spaces
- States of Convex Sets
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions
- Convexity, Duality and Effects
- Testing Finitary Probabilistic Processes
- Probabilistic Bisimulation: Naturally on Distributions
- Characterising Testing Preorders for Finite Probabilistic Processes
- Generalized Convexity
- Formal verification of timed properties of randomized distributed algorithms
- Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
- Convex Analysis
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Konvexe Räume
This page was built for publication: Termination in Convex Sets of Distributions
