D-Continuous Causal Nets: A Model of Non-Sequential Processes


ly, a process of a condition/event system may be viewed as a suitable mapping from a net of the sort shown in Fig. 2 into the net associated with the system. Details of this idea’can be found in [g] and we will not repeat them here. For now we should like to focus on two features of the net shown in Fig. 2. Firstly. it is acyclic, i.e., F’ is asymmetric… (More)
DOI: 10.1016/0304-3975(83)90070-1


7 Figures and Tables