Behavioural equivalences for continuous-time Markov processes

L Chen, F Clerc, P Panangaden - Mathematical Structures in …, 2023 - cambridge.org
Bisimulation is a concept that captures behavioural equivalence of states in a variety of
types of transition systems. It has been widely studied in a discrete-time setting. The core of …

Behavioural pseudometrics for continuous-time diffusions

L Chen, F Clerc, P Panangaden - arXiv preprint arXiv:2312.16729, 2023 - arxiv.org
Bisimulation is a concept that captures behavioural equivalence of states in a variety of
types of transition systems. It has been widely studied in a discrete-time setting where the …

[图书][B] Bisimulation and behavioural equivalences for continuous-time Markov processes

F Clerc - 2021 - search.proquest.com
Bisimulation is a concept that captures behavioural equivalence of states in a transition
system. It has been widely studied in discrete time. In this work, I have first suggested a …