scientific article; zbMATH DE number 7204940
From MaRDI portal
Publication:5111636
probabilistic automatacoalgebraconvex algebraconvex powerset monadbisimulation up-tobelief-state transformers
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- scientific article; zbMATH DE number 97447
- scientific article; zbMATH DE number 1465718
- scientific article; zbMATH DE number 2064073
- scientific article; zbMATH DE number 94679
- Congruences of convex algebras.
- scientific article; zbMATH DE number 1775153
- scientific article; zbMATH DE number 3933786
- Convex and linear effect algebras
- Powers of convex-cyclic operators
- scientific article; zbMATH DE number 3981156
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 3434546 (Why is no real title available?)
- scientific article; zbMATH DE number 1497870 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 2169341 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 3428045 (Why is no real title available?)
- scientific article; zbMATH DE number 236540 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A hierarchy of probabilistic system types
- A spectrum of behavioral relations over LTSs on probability distributions
- Approximate verification of the symbolic dynamics of Markov chains
- Automatic verification of real-time systems with discrete probability distributions.
- Bialgebras for structural operational semantics: an introduction
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Bisimulation through probabilistic testing
- Characterising Testing Preorders for Finite Probabilistic Processes
- Checking NFA equivalence with bisimulations up to congruence
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Coinduction up-to in a fibrational setting
- Commutative semantics for probabilistic programming
- Compositional abstraction techniques for probabilistic automata
- Concurrency and composition in a stochastic world
- Congruences of convex algebras.
- Convexity, duality and effects
- Deciding bisimilarities on distributions
- Discrete random variables over domains, revisited
- Distributing probability over non-determinism
- EQUIVALENCE OF LABELED MARKOV CHAINS
- Eilenberg--Moore algebras for stochastic relations
- Enhancements of the bisimulation proof method
- Environmental bisimulations for probabilistic higher-order languages
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Exploring probabilistic bisimulations. I
- Formal verification of timed properties of randomized distributed algorithms
- Generalizing the powerset construction, coalgebraically
- High-level counterexamples for probabilistic automata
- Introduction to coalgebra. Towards mathematics of states and observation
- Learning deterministic probabilistic automata from a model checking perspective
- Limit synchronization in Markov decision processes
- On the semantics of Markov automata
- Postulates for the barycentric calculus
- Power structures
- Probabilistic Bisimulation: Naturally on Distributions
- Probabilistic systems coalgebraically: a survey
- Relating coalgebraic notions of bisimulation
- Robustly parameterised higher-order probabilistic models
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
- Some results on complex algebras of subalgebras
- States of convex sets
- Testing Finitary Probabilistic Processes
- Trace semantics via determinization
- Universal coalgebra: A theory of systems
- Upper-expectation bisimilarity and Łukasiewicz \(\mu \)-calculus
Cited in
(16)- Integral representation for powers of elements in locally \(m\)-convex algebras and applications
- Convex powerdomains. I
- Semialgebras and weak distributive laws
- Preservation and reflection of bisimilarity via invertible steps
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Termination in convex sets of distributions
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- Relations into algebras of probabilistic distributions
- (In)finite trace equivalence of probabilistic transition systems
- Convex and linear effect algebras
- scientific article; zbMATH DE number 7566077 (Why is no real title available?)
- scientific article; zbMATH DE number 7649944 (Why is no real title available?)
- Distribution bisimilarity via the power of convex algebras
- Steps and traces
- scientific article; zbMATH DE number 7566075 (Why is no real title available?)
- scientific article; zbMATH DE number 7559483 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111636)
