Approximating bisimilarity for Markov processes

DOI10.1016/J.ENTCS.2013.12.007MaRDI QIDQ265837zbMATH OpenOpenAlexWikidataFDO

Authors Chunlai Zhou

Publication date 12 April 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2013.12.007

zbMATH Keywords

Markov processesfixed pointevent bisimilarityHennessy-Milner logicstate bisimilarity

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Approximating Markov Processes by Averaging
• Approximating Markov processes by averaging
• Bisimulation for labelled Markov processes
• Bisimulation on Markov processes over arbitrary measurable spaces
• scientific article; zbMATH DE number 1956514

Cites work

• scientific article; zbMATH DE number 1696897 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• Approximating Markov Processes by Averaging
• Approximating Markov processes through filtration
• Approximating and computing behavioural distances in probabilistic transition systems
• Approximating labelled Markov processes
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Lattice properties of congruences for stochastic relations
• Measure theory. Vol. I and II
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Stochastic coalgebraic logic
• Unprovability of the logical characterization of bisimulation

Cited in

(6)

• Approximating Markov processes through filtration
• THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
• Explainability of probabilistic bisimilarity distances for labelled Markov chains
• Deciding probabilistic bisimilarity distance one for labelled Markov chains
• Bisimulation and Simulation Relations for Markov Chains
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)

This page was built for publication: Approximating bisimilarity for Markov processes

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