Algebraic properties of stochastic effectivity functions

DOI10.1016/j.jlamp.2014.03.002zbMath1434.68336arXiv1403.7745OpenAlexW2061804241MaRDI QIDQ406467

Ernst-Erich Doberkat

Publication date: 8 September 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.7745

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) 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

Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ A stochastic interpretation of game logic ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dagger categories of tame relations
• Notions of computation and monads
• Topology and descriptive set theory
• Game logic -- an overview
• Pipelines: modelling a software architecture through relations
• Bisimulation for labelled Markov processes
• A stochastic interpretation of propositional dynamic logic: expressivity
• Coalgebraic logic over general measurable spaces – a survey
• Deduction Systems for Coalgebras Over Measurable Spaces
• Bisimulations for non-deterministic labelled Markov processes
• Measurable relations
• Stochastic Relations
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Topologies on Spaces of Subsets
• The axiom of choice