Characterising FS domains by means of power domains

Authors:
Reinhold Heckmann
Affiliations:
Univ. of Saarlandes, Saarbrücken, Germany
Venue:
Theoretical Computer Science - Domains
Year:
2001

Citing 5
Cited 0

A probabilistic powerdomain of evaluations

Proceedings of the Fourth Annual Symposium on Logic in computer science
Probabilistic non-determinism

Probabilistic non-determinism
Domain theory

Handbook of logic in computer science (vol. 3)
Power Domains and Predicate Transformers: A Topological View

Proceedings of the 10th Colloquium on Automata, Languages and Programming
Lower Bag Domains

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.