Palm distribution, 60K40, Gaussian process, Rice's formula, wave steepness, 86A05, 60G60, 60G15, Crossing theory