Probabilistic systems coalgebraically: a survey

DOI10.1016/j.tcs.2011.04.005zbMath1234.68308OpenAlexW2103417273MaRDI QIDQ639648

Ana Sokolova

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

zbMATH Keywords

Markov chainscoalgebraMarkov processesprobabilistic systems

Mathematics Subject Classification ID

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 (19)

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

• CoCasl

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.

This page was built for publication: Probabilistic systems coalgebraically: a survey