Notions of Realizable Non-Sequential Processes

Abstract

This paper presents some results on non-sequential processes using the language of net theory. The results are concerned with the relationship between various formalizations of the intuition that the causality relation enforced by a process should be in some sense ''finitely realizable''. The formalizations proposed are of very different flavours, based on notions of observability, approximability, state space covering and discreteness.