Analyzing Non-Markovian Systems by Using a Stochastic Process Calculus and a Probabilistic Model Checker
The non-Markovian systems represent almost all stochastic processes, except of a small class having the Markov property; it is a real challenge to analyze these systems.In this article, we present a 135 general method of analyzing non-Markovian systems.The novel viewpoint is given by the use of a compact stochastic process calculus developed in the