Output details
11 - Computer Science and Informatics
Swansea University
Article title
Domain representations of spaces of compact subsets
Type
D - Journal article
Title of journal
Mathematical Structures in Computer Science
Article number
-
Volume number
20
Issue number
02
First page of article
107
ISSN of journal
0960-1295
Year of publication
2010
URL
-
Number of additional authors
2
Additional information
<10> Nondeterminism arises naturally in specifications and computations with continuous data. The paper extends Plotkin's powerdomain construction to domain representations of topological spaces. This enables the implementiation of an effective notion of nondeterminism on a large class of topological spaces.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
