By amalgamating the approaches of Tweedie (1974) and Nummelin (1977), an a-theory is developed for general semi-Markov processes. It is shown that x-transient, 2-recurrent and 2-positive recurrent processes can be denned, with properties analogous to those for transient, recurrent and positive recurrent processes. Limit theorems for a-positive recurrent processes follow by transforming to the probabilistic case, as in the above references: these then give results on the existence and form of quasistationary distributions, extending those of Tweedie (1975) and Nummelin (1976).