CPO's of measures for nondeterminism
DOI10.1016/0304-3975(80)90003-1zbMATH Open0433.68017OpenAlexW2082241908MaRDI QIDQ1139367FDOQ1139367
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
probability distributionspowerdomainsnondeterministic programscomplete partial orderfixed point semanticsmeasures for nondeterminismsemantics of nondeterminism
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Powerdomain Construction
- Title not available (Why is that?)
- Bases for Chain-complete Posets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (30)
- A Duality Theorem for Real C * Algebras
- Reversible monadic computing
- Comparing free algebras in topological and classical domain theory
- 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
- Title not available (Why is that?)
- An application of computable distributions to the semantics of probabilistic programming languages
- Probabilistic call by push value
- Domain theory and integration
- 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
- Structure in machine learning
- Categories of timed stochastic relations
- Domain semantics of possibility computations
- Bisimulation for labelled Markov processes
- Continuous domain theory in logical form
- Computation on metric spaces via domain theory
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- From Haar to Lebesgue via domain theory
- Extension of valuations on locally compact sober spaces
- Some economic applications of Scott domains
- Measure and probability for concurrency theorists
Uses Software
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)
