The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach
From International Center for Computational Logic
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach
Christel BaierChristel Baier, Mila E. Majster-CederbaumMila E. Majster-Cederbaum
Christel Baier, Mila E. Majster-Cederbaum
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach
Formal Aspects of Computing, 9(4):425--445, 1997
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach
Formal Aspects of Computing, 9(4):425--445, 1997
- KurzfassungAbstract
The purpose of this paper is twofold: First, we show in which way the initial solution of a domain equation for cpo's and the unique solution of a corresponding domain equation for metric spaces are related. Second, we present a technique to lift a given domain equation for cpo's to a corresponding domain equation for metric spaces. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@article{BM1997,
author = {Christel Baier and Mila E. Majster-Cederbaum},
title = {The Connection Between Initial and Unique Solutions of Domain
Equations in the Partial Order and Metric Approach},
journal = {Formal Aspects of Computing},
volume = {9},
number = {4},
year = {1997},
pages = {425--445},
doi = {10.1007/BF01211300}
}