CPO's of measures for nondeterminism

DOI10.1016/0304-3975(80)90003-1MaRDI QIDQ1139367zbMATH OpenOpenAlexFDO

Authors N. Saheb-Djahromi

Publication date 1980

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(80)90003-1

zbMATH Keywords

probability distributionspowerdomainsnondeterministic programscomplete partial orderfixed point semanticsmeasures for nondeterminismsemantics of nondeterminism

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 3758364 (Why is no real title available?)
• scientific article; zbMATH DE number 3551848 (Why is no real title available?)
• scientific article; zbMATH DE number 3560401 (Why is no real title available?)
• scientific article; zbMATH DE number 3597592 (Why is no real title available?)
• scientific article; zbMATH DE number 3602653 (Why is no real title available?)
• scientific article; zbMATH DE number 3615887 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 3430635 (Why is no real title available?)
• scientific article; zbMATH DE number 3204808 (Why is no real title available?)
• scientific article; zbMATH DE number 3313523 (Why is no real title available?)
• scientific article; zbMATH DE number 3371972 (Why is no real title available?)
• scientific article; zbMATH DE number 3394154 (Why is no real title available?)
• A Powerdomain Construction
• Bases for Chain-complete Posets

Cited in

(30)

• A Duality Theorem for Real C * Algebras
• Comparing free algebras in topological and classical domain theory
• Reversible monadic computing
• A computable approach to measure and integration theory
• Linear Structures for Concurrency in Probabilistic Programming Languages
• A construction of free dcpo-cones
• A monad for randomized algorithms
• Anatomy of a domain of continuous random variables. II
• Products and projective limits of continuous valuations on \(T_0\) spaces
• An application of computable distributions to the semantics of probabilistic programming languages
• scientific article; zbMATH DE number 7533341 (Why is no real title available?)
• Domain theory and integration
• Probabilistic call by push value
• The probabilistic powerdomain for stably compact spaces
• Approximating labelled Markov processes
• Continuity spaces: Reconciling domains and metric spaces
• Anatomy of a domain of continuous random variables. I
• All Cartesian closed categories of quasicontinuous domains consist of domains
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Categories of timed stochastic relations
• Structure in machine learning
• Domain semantics of possibility computations
• Bisimulation for labelled Markov processes
• Computation on metric spaces via domain theory
• Continuous domain theory in logical form
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Extension of valuations on locally compact sober spaces
• From Haar to Lebesgue via domain theory
• Some economic applications of Scott domains
• Measure and probability for concurrency theorists

Describes a project that uses

Uses Software

• LCF

This page was built for publication: CPO's of measures for nondeterminism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1139367)