论文信息 - Non-sequential Processes

Non-sequential Processes

This paper present a select1on of some propert1es of a non-sequentlal process. Three types of propert1es are stud1ed, namely: d1screteness propert1es, dens1ty properties and the o-continu1ty property. Relat1ons between these propert1es are establ1shed.

César Fernández

[1] R. Dedekind,et al. Was sind und was sollen die Zahlen? ; Stetigkeit und irrationale Zahlen , 1965 .

[2] Glynn Winskel,et al. Events in computation , 1980 .

[3] Wolfgang Reisig,et al. The Non-sequential Behavior of Petri Nets , 1983, Inf. Control..

[4] Eike Best,et al. Frozen tokens and D-continuity: A study in relating system properties to process properties , 1985, European Workshop on Applications and Theory in Petri Nets.

[5] P. S. Thiagarajan,et al. D-Continuous Causal Nets: A Model of Non-Sequential Processes , 1984, Theor. Comput. Sci..

[6] P. S. Thiagarajan,et al. Notions of Realizable Non-Sequential Processes , 1986 .