Markov Processes Gaussian Processes and Local Times