The theory of traces for systems with nondeterminism, probability, and termination
From MaRDI portal
Publication:5094151
Recommendations
Cites work
- scientific article; zbMATH DE number 6712178 (Why is no real title available?)
- scientific article; zbMATH DE number 7447772 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 1759622 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- scientific article; zbMATH DE number 783783 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- scientific article; zbMATH DE number 3428045 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A Convenient Category for Higher-Order Probability Theory
- A general account of coinduction up-to
- A hierarchy of probabilistic system types
- Axioms for probability and nondeterminism
- Bialgebras for structural operational semantics: an introduction
- Bisimulation through probabilistic testing
- Checking NFA equivalence with bisimulations up to congruence
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Coalgebraic trace semantics via forgetful logics
- Complete Lattices and Up-To Techniques
- Convex language semantics for nondeterministic probabilistic automata
- Convexity theories. IV: Klein-Hilbert parts in convex modules
- Convexity, duality and effects
- Derivatives of Regular Expressions
- Distributing probability over non-determinism
- Distribution-based bisimulation for labelled Markov processes
- Eilenberg--Moore algebras for stochastic relations
- Enhancements of the bisimulation proof method
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Generalizing the powerset construction, coalgebraically
- Generic Trace Semantics via Coinduction
- Introduction to coalgebra. Towards mathematics of states and observation
- Layer by layer -- combining monads
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- On the bisimulation proof method
- Planning and acting in partially observable stochastic domains
- Postulates for the barycentric calculus
- Probabilistic Bisimulation: Naturally on Distributions
- Probabilistic automata
- Probabilistic systems coalgebraically: a survey
- Relating coalgebraic notions of bisimulation
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities
- Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
- Semantic domains for combining probability and non-determinism
- Termination in convex sets of distributions
- Testing Finitary Probabilistic Processes
- Testing equivalences for processes
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Trace semantics via determinization
- Universal coalgebra: A theory of systems
- Upper-expectation bisimilarity and Łukasiewicz \(\mu \)-calculus
Cited in
(4)
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)
