Characterising FS Domains by means of Power Domains

Reinhold Heckmann


We present two characterisations of FS domains, using the upper and the lower power domain construction, respectively. These characterisations have a common structure and thus can be generalised from the two power constructions to arbitrary premonads. The resulting classes of domains are considered in general, and some special instances are studied in greater detail. They form classes of domains which lie in between the class of retracts of bifinite domains and FS.

[ (12p, 50k)]

Reinhold Heckmann /