Markov process
The process with parameters formula_1 is a continuous-time Markov process on formula_2,