Behavioural equivalences for continuous-time Markov processes

DOI10.1017/S0960129523000099MaRDI QIDQ6149932zbMATH OpenOpenAlexFDO

Authors Linan Chen, Florence Clerc, Prakash Panangaden

Publication date 5 March 2024

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/s0960129523000099

zbMATH Keywords

bisimulationcontinuous timediffusionMarkov processesstochastic processes

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A calculus of communicating systems
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for Feller-Dynkin processes
• Bisimulation for labelled Markov processes
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• Expressiveness of probabilistic modal logics: a gradual approach
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42272 (Why is no real title available?)
• scientific article; zbMATH DE number 1354815 (Why is no real title available?)
• scientific article; zbMATH DE number 1478492 (Why is no real title available?)
• scientific article; zbMATH DE number 2190526 (Why is no real title available?)
• Labelled Markov processes.
• Real analysis
• Semi-pullbacks for stochastic relations over analytic spaces
• Stochastic-Process Limits
• Towards a classification of behavioural equivalences in continuous-time Markov processes
• Unprovability of the logical characterization of bisimulation

This page was built for publication: Behavioural equivalences for continuous-time Markov processes

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