Notions of Realizable Non-Sequential Processes

Publisher Website
Google Scholar
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.

This publication has 0 references indexed in Scilit: