The theory of traces for systems with nondeterminism, probability, and termination
From MaRDI portal
Publication:5094151
Authors: Filippo Bonchi, Ana Sokolova, Valeria Vignudelli 
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/1808.00923
Recommendations
probabilistic automatacoalgebranondeterminismtrace semanticsdeterminisationconvex subsets of distributions monadsemantics for probability
Cites Work
- Title not available (Why is that?)
- Planning and acting in partially observable stochastic domains
- Title not available (Why is that?)
- Probabilistic automata
- Derivatives of Regular Expressions
- Universal coalgebra: A theory of systems
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Checking NFA equivalence with bisimulations up to congruence
- Relating coalgebraic notions of bisimulation
- Semantic domains for combining probability and non-determinism
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generic Trace Semantics via Coinduction
- Bialgebras for structural operational semantics: an introduction
- Bisimulation through probabilistic testing
- Title not available (Why is that?)
- Probabilistic systems coalgebraically: a survey
- Testing equivalences for processes
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Distributing probability over non-determinism
- Trace semantics via determinization
- On the bisimulation proof method
- Enhancements of the bisimulation proof method
- Convexity, duality and effects
- Title not available (Why is that?)
- Eilenberg--Moore algebras for stochastic relations
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities
- Axioms for probability and nondeterminism
- Testing Finitary Probabilistic Processes
- Title not available (Why is that?)
- A hierarchy of probabilistic system types
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Title not available (Why is that?)
- Probabilistic Bisimulation: Naturally on Distributions
- Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
- Generalizing the powerset construction, coalgebraically
- Complete Lattices and Up-To Techniques
- A general account of coinduction up-to
- A Convenient Category for Higher-Order Probability Theory
- Title not available (Why is that?)
- Postulates for the barycentric calculus
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Introduction to coalgebra. Towards mathematics of states and observation
- Convex language semantics for nondeterministic probabilistic automata
- Convexity theories. IV: Klein-Hilbert parts in convex modules
- Termination in convex sets of distributions
- Layer by layer -- combining monads
- Title not available (Why is that?)
- Distribution-based bisimulation for labelled Markov processes
- Upper-expectation bisimilarity and Łukasiewicz \(\mu \)-calculus
- Coalgebraic trace semantics via forgetful logics
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: The theory of traces for systems with nondeterminism, probability, and termination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094151)
