Behavioural equivalences for continuous-time Markov processes.

Linan Chen Florence Clerc Prakash Panangaden

Published in: Math. Struct. Comput. Sci. (2023)

Keyphrases

markov processes
markov process
markov chain
continuous time bayesian networks
stochastic processes
connected components
non stationary
random fields
stochastic process
continuous time markov chains
search algorithm
random walk
steady state