scientific article; zbMATH DE number 4085874

MaRDI QIDQ3815463zbMATH OpenFDO

Authors Pierre America, Jan J. M. M. Rutten

Publication date 1988

zbMATH Keywords

category of complete metric spacesCauchy sequencecontracting functorsconvergent towerdirect limitdomain equationsequations on metric spacesfixed pointsmetric completion

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Solving reflexive domain equations in a category of complete metric spaces
• scientific article; zbMATH DE number 1231447
• scientific article; zbMATH DE number 1254415
• The category-theoretic solution of recursive metric-space equations
• Banach's fixed-point theorem as a base for data-type equations

Cited in

(14)

• Designing equivalent semantic models for process creation
• Metric semantics for concurrency
• On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• The connection between initial and unique solutions of domain equations in the partial order and metric approach
• scientific article; zbMATH DE number 1231447 (Why is no real title available?)
• scientific article; zbMATH DE number 1254415 (Why is no real title available?)
• The category-theoretic solution of recursive metric-space equations
• Classifying topoi in synthetic guarded domain theory
• I-categories as a framework for solving domain equations
• Towards univalent reference types: the impact of univalence on denotational semantics
• Solving reflexive domain equations in a category of complete metric spaces
• Issues in the design of a parallel object-oriented language
• Denotational semantics of a parallel object-oriented language

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3815463)