Characterising FS domains by means of power domains

被引：9

作者：

Heckmann, R ^{[1
]}

机构：

[1] Univ Saarland, D-66041 Saarbrucken, Germany

来源：

THEORETICAL COMPUTER SCIENCE | 2001年 / 264卷 / 02期

关键词：

D O I：

10.1016/S0304-3975(00)00222-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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. (C) 2001 Elsevier Science B.V. All rights reserved.

引用

页码：195 / 203

页数：9

共 10 条

[1]

Abramsky S., 1994, Domain Theory

[2]

Heckmann R., 1995, Fundamenta Informaticae, V24, P259

[3]

JONES C, 1989, LOGIC COMPUTER SCI, P186, DOI DOI 10.1109/LICS.1989.39173

[4]

Jones C., 1990, Probabilistic Non-Determinism

[5]

Jung A., 1988, THESIS TH DARMSTADT THESIS TH DARMSTADT

[6]

JUNG A, 1998, P 3 WORKSH COMP APPR, V13

[7]

JUNG A, 1990, LOGIC COMPUTER SCI, P35

[8]

SMYTH MB, 1983, LECT NOTES COMPUT SC, V154, P662

[9] POWER DOMAINS [J].

SMYTH, MB .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (01) :23-36

[10]

Tix R., 1995, Stetige Bewertungen auf topologischen Raumen

← 1 →