A lattice theoretic view of K-density
暂无分享,去创建一个
[1] P. S. Thiagarajan,et al. D-Continuous Causal Nets: A Model of Non-Sequential Processes , 1984, Theor. Comput. Sci..
[2] Glynn Winskel,et al. Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..
[3] Józef Winkowski,et al. Behaviours of Concurrent Systems , 1980, Theor. Comput. Sci..
[4] Eike Best. A theorem on the characteristics of nonsequential processes , 1980, Fundam. Informaticae.
[5] Glynn Winskel,et al. Events in computation , 1980 .
[6] Eike Best,et al. A Theorem on the Characteristics of Non-sequential Processes , 1977 .