scientific article; zbMATH DE number 7204940
From MaRDI portal
Publication:5111636
DOI10.4230/LIPICS.CONCUR.2017.23zbMATH Open1442.68085MaRDI QIDQ5111636FDOQ5111636
Alexandra Silva, Ana Sokolova, Filippo Bonchi
Publication date: 27 May 2020
Title of this publication is not available (Why is that?)
Recommendations
- scientific article
- scientific article; zbMATH DE number 1465718
- scientific article; zbMATH DE number 2064073
- scientific article
- 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
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)
Cites Work
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- On the semantics of Markov automata
- Checking NFA equivalence with bisimulations up to congruence
- Relating coalgebraic notions of bisimulation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bialgebras for structural operational semantics: an introduction
- Bisimulation through probabilistic testing
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Title not available (Why is that?)
- Probabilistic systems coalgebraically: a survey
- Automatic verification of real-time systems with discrete probability distributions.
- Congruences of convex algebras.
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Concurrency and Composition in a Stochastic World
- Distributing probability over non-determinism
- Power structures
- Trace semantics via determinization
- Coinduction up-to in a fibrational setting
- Enhancements of the bisimulation proof method
- Convexity, Duality and Effects
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- States of Convex Sets
- Title not available (Why is that?)
- Eilenberg--Moore algebras for stochastic relations
- Exploring probabilistic bisimulations. I
- Testing Finitary Probabilistic Processes
- Characterising Testing Preorders for Finite Probabilistic Processes
- EQUIVALENCE OF LABELED MARKOV CHAINS
- Title not available (Why is that?)
- A hierarchy of probabilistic system types
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Approximate Verification of the Symbolic Dynamics of Markov Chains
- Probabilistic Bisimulation: Naturally on Distributions
- Generalizing the powerset construction, coalgebraically
- Formal verification of timed properties of randomized distributed algorithms
- Postulates for the barycentric calculus
- Title not available (Why is that?)
- Introduction to coalgebra. Towards mathematics of states and observation
- Learning deterministic probabilistic automata from a model checking perspective
- Deciding Bisimilarities on Distributions
- Semantics for probabilistic programming
- Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
- Discrete random variables over domains, revisited
- High-level Counterexamples for Probabilistic Automata
- Environmental bisimulations for probabilistic higher-order languages
- Commutative Semantics for Probabilistic Programming
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions
- Compositional Abstraction Techniques for Probabilistic Automata
- Limit Synchronization in Markov Decision Processes
- Some results on complex algebras of subalgebras
- Robustly Parameterised Higher-Order Probabilistic Models
Cited In (15)
- Title not available (Why is that?)
- Convex powerdomains. I
- Title not available (Why is that?)
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- Convex and linear effect algebras
- Integral representation for powers of elements in locally \(m\)-convex algebras and applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- (in)finite trace equivalence of probabilistic transition systems
- Steps and traces
- Preservation and reflection of bisimilarity via invertible steps
- Termination in Convex Sets of Distributions
- Semialgebras and weak distributive laws
- Title not available (Why is that?)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
Uses Software
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)
