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

DOI Link

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

Details
Bibtex

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}
}