رسمياً, تعريف الزمن المحلي هو:formula_1حيث أن formula_2 هي عملية الانتشار و formula_3 هي دالة ديراك دلتا Dirac delta function.
==Formal definition==For a diffusion process formula_1, the local time of formula_2 at the point formula_3 is the stochastic process:formula_4where formula_5 is the Dirac delta function.