An exponential semi-markov process, with applications to queueing theory. · Study