The connection between initial and unique solutions of domain equations in the partial order and metric approach-Reference-Cited by-同舟云学术

The connection between initial and unique solutions of domain equations in the partial order and metric approach

Published:1997-07 Issue:4 Volume:9 Page:425-445
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Baier Christel¹,Majster-Cederbaum Mila¹

Affiliation:

1. Fakultät für Mathematik und Informatik, Universität Mannheim, 68131, Mannheim, Germany

Abstract

Abstract 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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211300.pdf

Reference21 articles.

1. Abramsky S. and Jung A.: Domain Theory in S. Abramsky D.M. Gabbay and T.S.E. Maibaum editors Handbook of Logic in Computer Science Vol. 3 pp 1–168 Clarendon Press 1994.

2. Designing equivalent semantic models for process creation

3. Denotational semantics of a parallel object-oriented language

4. Solving reflexive domain equations in a category of complete metric spaces

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A relational realizability model for higher-order stateful ADTs;The Journal of Logic and Algebraic Programming;2012-05

2. The category-theoretic solution of recursive metric-space equations;Theoretical Computer Science;2010-10

3. Realisability semantics of parametric polymorphism, general references and recursive types;Mathematical Structures in Computer Science;2010-07-02

4. Denotational semantics for thread algebra;The Journal of Logic and Algebraic Programming;2008-01