Approximating labelled Markov processes again!

DOI10.1007/978-3-642-03741-2_11MaRDI QIDQ2888484zbMATH OpenOpenAlexFDO

Authors Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin

Publication date 1 June 2012

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/17909841/Chaput_Danos_ET_AL_2009_Approximating_Markov_Processes_by_Averaging.pdf

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

• Approximating labelled Markov processes
• Bisimulation for labelled Markov processes
• Approximating Markov processes by averaging
• Approximating Markov Processes by Averaging
• Labelled Markov processes: stronger and faster approximations

Cites work

• scientific article; zbMATH DE number 3145626 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (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 3349081 (Why is no real title available?)
• scientific article; zbMATH DE number 3088534 (Why is no real title available?)
• A hierarchy of probabilistic system types
• A probabilistic PDL
• Approximating labelled Markov processes
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation through probabilistic testing
• Conditional expectation and the approximation of labelled Markov processes.
• Inverse Limits of Measure Spaces
• Metrics for labelled Markov processes

Cited in

(13)

• A theory for the semantics of stochastic and non-deterministic continuous systems
• Measurable stochastics for Brane calculus
• Approximating Markov Processes by Averaging
• Metrics for labelled Markov processes
• Foundations of Software Science and Computation Structures
• Approximating Markov processes by averaging
• Approximating labelled Markov processes
• Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
• Conditional expectation and the approximation of labelled Markov processes.
• Labelled Markov processes.
• Finite Approximation of LMPs for Exact Verification of Reachability Properties
• Labelled Markov processes as generalised stochastic relations
• Labelled Markov processes: stronger and faster approximations

This page was built for publication: Approximating labelled Markov processes again!

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