scientific article
From MaRDI portal
zbMath0716.06003MaRDI QIDQ3203061
No author found.
Publication date: 1989
Full work available at URL: http://homepages.inf.ed.ac.uk/gdp/publications/Prob_Powerdomain.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monadrecursive domain equationscategory of continuous partial ordersmeta-language for programming languages with probabilistic featuresmodel for Moggi's computational lambda-calculuspartial order of continuous [0,1-valued evaluations on the Scott topology]probabilistic powerdomain construction on the category of inductively complete partial orderssemantics of a language with a probabilistic parallel construct
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Combinatory logic and lambda calculus (03B40)
Related Items
Distributed probabilistic and quantum strategies, Algebra for Quantitative Information Flow, Refinement-oriented probability for CSP, Probabilistic power domains, information systems, and locales, Domain-complete and LCS-complete spaces, Algebras of the extended probabilistic powerdomain monad, Information systems for continuous posets, A denotational semantics for low-level probabilistic programs with nondeterminism, Bimonoidal structure of probability monads, On Applicative Similarity, Sequentiality, and Full Abstraction, Reasoning about probabilistic sequential programs, Synthetic topology in Homotopy Type Theory for probabilistic programming, Probabilistic operational semantics for the lambda calculus, The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras, The expectation monad in quantum foundations, Unnamed Item, A domain equation for bisimulation, Comparative branching-time semantics for Markov chains, Finitary monads on the category of posets, Eilenberg--Moore algebras for stochastic relations, Discrete Lawvere theories and computational effects, Separating minimal valuations, point-continuous valuations, and continuous valuations, Completing simple valuations in K-categories, Metrics for labelled Markov processes, Consistent Smyth powerdomains of topological spaces and quasicontinuous domains, A domain-theoretic approach to Brownian motion and general continuous stochastic processes, Probability, valuations, hyperspace: Three monads on top and the support as a morphism, Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations, A computational model for metric spaces, Functional distribution monads in functional-analytic contexts, Presenting de Groot duality of stably compact spaces, From probability monads to commutative effectuses, Codensity and the Giry monad, Probabilistic concurrent constraint programming, Program equivalence in a typed probabilistic call-by-need functional language, Approximating labelled Markov processes, Program algebra for quantitative information flow, Algebraic theory of probabilistic and nondeterministic processes., A construction of free dcpo-cones, Conditioning in probabilistic programming, Healthiness conditions for predicate transformers, Bisimulation for probabilistic transition systems: A coalgebraic approach, Linking theories in probabilistic programming, Proofs of randomized algorithms in Coq, Riemann and Edalat integration on domains., A characterization of partial metrizability: Domains are quantifiable., Metric Reasoning About $$\lambda $$-Terms: The General Case, Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases, Proof rules for the correctness of quantum programs, Topological cones: functional analysis in a \(T_{0}\)-setting, Observationally-induced lower and upper powerspace constructions, Domain theory and integration, Probabilistic communicating processes, Effectuses from monads, Products and projective limits of continuous valuations on T0 spaces, Consistent Smyth powerdomains., Semantics for Algebraic Operations, Computable Exchangeable Sequences Have Computable de Finetti Measures, Probabilistic and Quantum Event Structures, Coproducts of Ideal Monads, Continuous Domain Theory in Logical Form, Linear Structures for Concurrency in Probabilistic Programming Languages, Weightable quasi-metric semigroups and semilattices, The probabilistic powerdomain for stably compact spaces, True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures, Characterising FS domains by means of power domains, A Type Theory for Probabilistic and Bayesian Reasoning, Combining effects: sum and tensor, Probabilistic event structures and domains, Approximating and computing behavioural distances in probabilistic transition systems, The uniform measure of simple regular sets of infinite trees, Kleisli morphisms and randomized congruences for the Giry monad, An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages, Measure Transformer Semantics for Bayesian Machine Learning, Categories of Timed Stochastic Relations, Unnamed Item, Complete positivity and natural representation of quantum computations, Stochastic order on metric spaces and the ordered Kantorovich monad, On the Taylor expansion of probabilistic λ-terms, Unnamed Item, Probabilistic weak simulation is decidable in polynomial time, Domain semantics of possibility computations, Compositional Abstraction for Stochastic Systems, The correspondence between partial metrics and semivaluations, Unnamed Item, Quantitative semantics, topology, and possibility measures, The generalized Riemann integral on locally compact spaces, The way-below relation of function spaces over semantic domains, Computation on metric spaces via domain theory, Bisimulation for probabilistic transition systems: A coalgebraic approach, Measure and probability for concurrency theorists, A Convenient Category of Domains, Remarks on Testing Probabilistic Processes, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, A Hierarchy of Quantum Semantics, Probabilistic Completion of Nondeterministic Models, Extension of valuations on locally compact sober spaces, Towards a Quantum Calculus, All Cartesian closed categories of quasicontinuous domains consist of domains, Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language, Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
