论文信息 - A representation of completely distributive algebraic lattices - 字舞流文

A representation of completely distributive algebraic lattices

Glynn Winskel | G. Winskel

[1] P. S. Thiagarajan,et al. Some Properties of D-Continuous Causal Nets , 1982, ICALP.

[2] Pierre-Louis Curien,et al. Sequential Algorithms on Concrete Data Structures , 1982, Theor. Comput. Sci..

[3] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .

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

[5] Glynn Winskel,et al. Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.

[6] G. Grätzer. General Lattice Theory , 1978 .