Limit theorems for recurrent semi-Markov processes and Markov renewal processes

For Harris recurrent Markov renewal processes and semi-Markov processes one obtains a central limit theorem. One also obtains Berry–Esseen type estimates for this theorem. Their proof is based on the Kolmogorov–Doeblin regenerative method.