Download:
|
by F. Alessi, P. Baldan, J. J. M. M. Rutten
http://www.di.unipi.it/~baldan/Papers/Soft-copy-ps/mfps95.ps.gz
Add To MetaCart
Abstract:
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS
Citations
|
139
|
The category-theoretic solution of recursive domain equations
– Smyth, Plotkin
- 1982
|
|
74
|
Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di
– Lawvere
- 1973
|
|
59
|
Processes and the denotational semantics of concurrency
– Bakker, Zucker
- 1982
|
|
49
|
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces
– America, Rutten
- 1989
|
|
44
|
On the Foundations of Final Semantics: non-standard sets, metric spaces, partial orders
– Rutten, Turi
- 1993
|
|
31
|
Elements of Generalized Ultrametric Domain Theory
– Rutten
- 1996
|
|
18
|
Continuity spaces: Reconciling domains and metric spaces
– Flagg, Kopperman
|
|
15
|
The Metric Closure Powerspace Construction
– Kent
- 1987
|
|
13
|
Metric interpretations of infinite trees and semantics of non deterministic recursive programs
– Arnold, Nivat
- 1980
|
|
13
|
Solving recursive domain equations with enriched categories
– Wagner
- 1994
|
|
6
|
Processes and Hyperuniverses
– Forti, Honsell, et al.
- 1994
|
|
6
|
The Contraction Property is Sufficient to Guarantee the Uniqueness of Fixed Points in a Category of Complete Metric Spaces
– Majster-Cederbaum
- 1989
|
|
3
|
Warmerdam: Solving Domain Equations in a Category of Compact Metric Spaces
– Breugel, Warmerdam
- 1994
|
|
2
|
A fixed point theorem in a category of compact metric spaces
– Alessi, Baldan, et al.
- 1995
|
