Campbell and moment measures for finite sequential spatial processes

We define moment and Campbell measures for sequential spatial processes, prove a Campbell-Mecke theorem, and relate the results to their counterparts in the theory of point processes. In particular, we show that any finite sequential spatial process model can be derived as the vector obtained by sorting the points in a suitably chosen (unordered) spatio-temporal point process by increasing time mark. The measures are used to formally define the dual concepts of interior and exterior conditioning through Palm distributions and Papangelou conditional intensities