Dirichlet forms: a symmetric Markov process is a self-adjoint operator is a closed symmetric form is a Markovian semigroup. (I've left out a lot of hypotheses, but the essence is that all these are in correspondence, and the properties of any one appear in the others.)