Characterising FS Domains by means of Power Domains

Reinhold Heckmann


FS domains can be characterised using the upper or lower power domain construction. In these characterisations, separation by the elements of a finite set is replaced by separation by a continuous non-deterministic function with finite image. This notion of separation can be formalised in many different, but equivalent ways.

[ (11p, 44k)]

Reinhold Heckmann /