Publication:4373412

zbMath0955.54008MaRDI QIDQ4373412

Marcello M. Bonsangue, Franck Van Breugel, Jan J. M. M. Rutten

Publication date: 17 February 1998

zbMATH Keywords

Scott topology; Alexandroff topology; \(\varepsilon\)-ball topology

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

54E35: Metric spaces, metrizability

68Q55: Semantics in the theory of computing

54A10: Several topologies on one set (change of topology, comparison of topologies, lattices of topologies)

Related Items

Approximation in quantale-enriched categories, Similarity, topology, and uniformity, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding, Metrization of free groups on ultrametric spaces