This paper is concerned with the characterization of the cumulative pensionable service over an individual's working life that is made up of random lengths of service in different employments in a given industry, under partial coverage, transferability, and a uniform vesting rule. This characterization uses some results that are developed in the paper involving a functional and cumulative constrained sojourn times (constrained in the sense that if a sojourn time is less than a given constant it is not counted) in semi-Markov processes.
