scientific article

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

nondeterminism specifications Smyth powerdomain weakest preconditions topological concepts predicate transformer flat domains power-domain constructions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Theory of operating systems (68N25)

Related Items (79)

Quasicontinuous domains and the Smyth powerdomain ⋮ Merging regular processes by means of fixed-point theory ⋮ A Duality Theorem for Real C * Algebras ⋮ Refinement-oriented probability for CSP ⋮ A metrized duality theorem for Markov processes ⋮ Probabilistic power domains, information systems, and locales ⋮ Non-deterministic effects in a realizability model ⋮ Core-compactness, consonance and the Smyth powerspaces ⋮ Semantics of a sequential language for exact real-number computation ⋮ A categorical treatment of pre- and post-conditions ⋮ The weakest precondition calculus: Recursion and duality ⋮ Stable power domains ⋮ PCF extended with real numbers ⋮ A domain equation for bisimulation ⋮ Constructing a quasi-uniform function space ⋮ Data refinement, call by value and higher order programs ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ Unnamed Item ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Effective inseparability in a topological setting ⋮ Consistent Hoare powerdomains over dcpos ⋮ Limiting semantics of numerical programs ⋮ On some generalization of rough sets ⋮ Remarks on hyperspaces for Priestley spaces ⋮ An upper power domain construction in terms of strongly compact sets ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ Inverse-limit and topological aspects of abstract interpretation ⋮ Extending algebraic operations to D-completions ⋮ Interweaving algebra and topology: lattice-valued topological systems ⋮ Healthiness conditions for predicate transformers ⋮ New results in the theory of multivalued mappings. I: Topological characteristics and solvability of operator relations ⋮ On \(FS_+\)-domains ⋮ Consistent Hoare powerdomains. ⋮ Consistent Plotkin powerdomains. ⋮ Domain theory in logical form ⋮ Modelling higher-order dual nondeterminacy ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ Observationally-induced lower and upper powerspace constructions ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ Duality and the completeness of the modal \(\mu\)-calculus ⋮ Duality beyond sober spaces: Topological spaces and observation frames ⋮ Domain theory and integration ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Power domains and second-order predicates ⋮ The mixed powerdomain ⋮ Consistent Smyth powerdomains. ⋮ Domains arising as algebras for powerspace constructions ⋮ On non-Hausdorff spaces ⋮ On the Continuity of Effective Multifunctions ⋮ Continuous Domain Theory in Logical Form ⋮ The probabilistic powerdomain for stably compact spaces ⋮ Characterising FS domains by means of power domains ⋮ Refusal testing ⋮ Representations versus numberings: On the relationship of two computability notions ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints ⋮ Unnamed Item ⋮ 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 ⋮ The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications ⋮ Power structures ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ Operational domain theory and topology of sequential programming languages ⋮ Inverse image analysis generalises strictness analysis ⋮ The Vietoris monad and weak distributive laws ⋮ A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language ⋮ Induction and recursion on the partial real line with applications to Real PCF ⋮ Two topologies on the lattice of Scott closed subsets ⋮ Domain semantics of possibility computations ⋮ Properly injective spaces and function spaces ⋮ Topology, domain theory and theoretical computer science ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ Toward an infinitary logic of domains: Abramsky logic for transition systems ⋮ Integration in Real PCF ⋮ A Hofmann-Mislove theorem for Bitopological Spaces ⋮ Defining liveness ⋮ Some notes on spaces of ideals and computable topology ⋮ The equivalence of QRB, QFS, and compactness for quasicontinuous domains. ⋮ Three dual ontologies

This page was built for publication: