Derived random measures

A derived random measure is constructed by integration of a random process with respect to a random measure independent of that process. Basic distributional properties, a continuity theorem, sample path properties, a strong law of large numbers, and a central limit theorem for derived random measures are established. Applications are given to compounding and thinning of point processes and the measure of a random set.