Search

Occupation measure and local time of classical risk processes