The asymmetric topology of computer science

DOI10.1007/3-540-58027-1_26OpenAlexW1604884628MaRDI QIDQ5890065

Robert C. Flagg, Ralph Kopperman

Publication date: 28 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_26

zbMATH Keywords

continuous latticecontinuity spacedistance distribution functiondenotational semanticpower domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Connectedness in asymmetric spaces ⋮ A characterization of partial metrizability: Domains are quantifiable.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Quantales and continuity spaces
• Asymmetry and duality in topology
• Joincompact spaces, continuous lattices and \(C^*\)-algebras
• Bitopological Spaces
• All Topologies Come From Generalized Metrics
• Processes and the denotational semantics of concurrency
• Complete probabilistic metric spaces

This page was built for publication: The asymmetric topology of computer science