scientific article; zbMATH DE number 3846844
From MaRDI portal
Publication:3316563
Recommendations
Cited in
(97)- Operational domain theory and topology of sequential programming languages
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
- Domain semantics of possibility computations
- Defining liveness
- Merging regular processes by means of fixed-point theory
- A categorical treatment of pre- and post-conditions
- Domain theory in logical form
- The mixed powerdomain
- On non-Hausdorff spaces
- Topological dualities in semantics
- Induction and recursion on the partial real line with applications to Real PCF
- Properly injective spaces and function spaces
- Topology, domain theory and theoretical computer science
- The weakest precondition calculus: Recursion and duality
- Stable power domains
- PCF extended with real numbers
- Limiting semantics of numerical programs
- Consistent Hoare powerdomains over dcpos
- On \(FS_+\)-domains
- Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains
- The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications
- Power structures
- Toward an infinitary logic of domains: Abramsky logic for transition systems
- Integration in Real PCF
- Three dual ontologies
- Constructing a quasi-uniform function space
- Data refinement, call by value and higher order programs
- Effective inseparability in a topological setting
- Two topologies on the lattice of Scott closed subsets
- Some notes on spaces of ideals and computable topology
- Non-deterministic effects in a realizability model
- Core-compactness, consonance and the Smyth powerspaces
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- Consistent Smyth powerdomains.
- The Vietoris monad and weak distributive laws
- The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
- Refinement-oriented probability for CSP
- Semantics of a sequential language for exact real-number computation
- Consistent Smyth powerdomains of topological spaces and quasicontinuous domains
- A domain equation for bisimulation
- Quasicontinuous domains and the Smyth powerdomain
- Remarks on hyperspaces for Priestley spaces
- On the geometry of physical measurements: topological and algebraic aspects
- scientific article; zbMATH DE number 1583311 (Why is no real title available?)
- Guards, failure, and partiality: Dijkstra's guarded-command language formulated topologically
- Abstract interpretation from a denotational-semantics perspective
- Extending algebraic operations to D-completions.
- Semi-decidability of may, must and probabilistic testing in a higher-type setting
- A metrized duality theorem for Markov processes
- A Duality Theorem for Real C * Algebras
- scientific article; zbMATH DE number 3982494 (Why is no real title available?)
- scientific article; zbMATH DE number 1183248 (Why is no real title available?)
- scientific article; zbMATH DE number 17695 (Why is no real title available?)
- Inverse-limit and topological aspects of abstract interpretation
- Extending algebraic operations to D-completions
- Interweaving algebra and topology: lattice-valued topological systems
- Consistent Hoare powerdomains.
- Consistent Plotkin powerdomains.
- On the continuity of effective multifunctions
- Continuous domain theory in logical form
- Observationally-induced lower and upper powerspace constructions
- The logic of information in state spaces
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Probability, valuations, hyperspace: three monads on Top and the support as a morphism
- scientific article; zbMATH DE number 7577568 (Why is no real title available?)
- scientific article; zbMATH DE number 7093560 (Why is no real title available?)
- A Hofmann-Mislove theorem for bitopological spaces
- Refusal testing
- Probabilistic power domains, information systems, and locales
- Characterising FS domains by means of power domains
- Representations versus numberings: On the relationship of two computability notions
- Healthiness conditions for predicate transformers
- On some generalization of rough sets
- An upper power domain construction in terms of strongly compact sets
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- Countability constraints in order-theoretic approaches to computability
- Duality and the completeness of the modal -calculus
- Duality beyond sober spaces: Topological spaces and observation frames
- Domain theory and integration
- The introduction of topology into analytic philosophy: two movements and a coda
- Proper maps and quasi-adjoints
- Power domains and second-order predicates
- On the inner structure of multirelations
- Domains arising as algebras for powerspace constructions
- A Cartesian closed category for random variables
- On local compactness of spaces of continuous valuations
- Powerdomains and zero finding
- The probabilistic powerdomain for stably compact spaces
- Concrete constructions of noncommutative free dcpo semigroups
- Machine space. I: Weak exponentials and quantification over compact spaces
- On the preservation of projective limits by functors of probabilistic and of non-deterministic choice
- Probabilistic predicate transformers. II: Partially observable probability
- Inverse image analysis generalises strictness analysis
- New results in the theory of multivalued mappings. I: Topological characteristics and solvability of operator relations
- Modelling higher-order dual nondeterminacy
- A Hofmann-Mislove theorem for bitopological spaces
- Dual unbounded nondeterminacy, recursion, and fixpoints
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 Q3316563)
