Probabilistic systems coalgebraically: a survey
From MaRDI portal
Publication:639648
DOI10.1016/j.tcs.2011.04.005zbMath1234.68308OpenAlexW2103417273MaRDI QIDQ639648
Publication date: 22 September 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.005
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Coalgebras for fuzzy transition systems, Identifying all preorders on the subdistribution monad, Model independent approach to probabilistic models, ``Keep definition, change category -- a practical approach to state-based system calculi, Unnamed Item, Behavioural equivalences for coalgebras with unobservable moves, Approximating Markov processes through filtration, Unnamed Item, Unnamed Item, Coinduction in Flow: The Later Modality in Fibrations, A general account of coinduction up-to, Unnamed Item, Unnamed Item, Long-term values in Markov decision processes, (co)algebraically, (in)finite trace equivalence of probabilistic transition systems, Unnamed Item, Termination in Convex Sets of Distributions, Probabilistic software product lines, Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effect algebras and unsharp quantum logics.
- A hierarchy of probabilistic system types
- Quantum logic in dagger kernel categories
- Coherence for compact closed categories
- The transition to unigroups
- Categorical logic and type theory
- Semantics of weakening and contraction
- Coreflections in algebraic quantum logic
- Categorical Properties of The Complex Numbers
- Categorical quantum mechanics
- Convexity, Duality and Effects
- An embedding theorem for Hilbert categories
- Bilinearity and Cartesian Closed Monads.
