Markov jump process

From MaRDI portal