A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A characterization of plotkin's order in powerdomains, and some of its properties
1984
Theoretical Computer Science
In 1976, Plotkln introduced powerdomains adapting to them, in some sense, Egli-Milner's order. L.ately, Sm$h ( 1978) presented the same results starting from generating trees. and adding a new order that he denoted by E (,. He also gave a characterization of the first order c". without making any further use of it. This characterization turned out to be wrong, and sta-ting from 1i1i7 fact (which shall be proved in the sequel) I have developed a new one (which is the salne as the one that has
doi:10.1016/0304-3975(84)90127-0
fatcat:hv74fjnxerg75dxgal4zpauicm