A Demonic Approach to Information in Probabilistic Systems

DOI10.1007/978-3-642-04081-8_20MaRDI QIDQ3184680zbMATH OpenOpenAlexFDO

Authors Josée Desharnais, François Laviolette, Amélie Turgeon

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04081-8_20

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A logical duality for underspecified probabilistic systems
• Exploring probabilistic bisimulations. I
• Stone duality for Markov processes
• Unrestricted Stone duality for Markov processes
• A demonic lattice of information

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• A calculus of mobile processes. I
• A probabilistic PDL
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation through probabilistic testing
• Continuous Capacities on Continuous State Spaces
• Foundations of Software Science and Computational Structures
• Least Upper Bounds for Probability Measures and Their Applications to Abstractions
• Model Checking Software
• Theory of capacities

Cited in

(2)

• A logical duality for underspecified probabilistic systems
• Coalgebraic logic over general measurable spaces -- a survey

This page was built for publication: A Demonic Approach to Information in Probabilistic Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184680)