Notions of Realizable Non-Sequential Processes

Article type: Research Article

Authors: Fernandez, C.^a | Nielsen, M.^b | Thiagarajan, P.S.^b

Affiliations: [a] GMD, St. Augustin, F.R.G. | [b] Computer Science Department, Aarhus University, Denmark

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.

DOI: 10.3233/FI-1986-9404

Journal: Fundamenta Informaticae, vol. 9, no. 4, pp. 421-454, 1986