SOLVING REFLEXIVE DOMAIN EQUATIONS IN A CATEGORY OF COMPLETE METRIC-SPACES

被引：117

作者：

AMERICA, P ^{[1
]}

RUTTEN, J ^{[1
]}

机构：

[1] CTR MATH & COMP SCI,1009 AB AMSTERDAM,NETHERLANDS

来源：

关键词：

D O I：

10.1016/0022-0000(89)90027-5

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：343 / 375

页数：33

共 10 条

[1] DENOTATIONAL SEMANTICS OF A PARALLEL OBJECT-ORIENTED LANGUAGE [J].

AMERICA, P ;

DEBAKKER, J ;

KOK, JN ;

RUTTEN, J .

[2]

AMERICA PHM, 1986, CSR8626 CTR MATH COM

[3]

BAKKER JW, 1982, INFORM CONTR, V54, P70

[4]

Dugundji J., 1966, TOPOLOGY

[5]

Engelking R, 1977, MATH MONOGRAPHS, V60

[6]

HAHN H, 1948, REELLE FUNKTIONEN

[7]

LEHMANN D, 1976, 17TH P IEEE S F COMP

[8]

MacLane S., 1971, GRADUATE TEXTS MATH, V5

[9]

Scott D. S., 1972, LECT NOTES MATH, V274, P97, DOI DOI 10.1007/BFB0073967

[10] THE CATEGORY-THEORETIC SOLUTION OF RECURSIVE DOMAIN EQUATIONS [J].

SMYTH, MB ;

PLOTKIN, GD .