CPO's of measures for nondeterminism

DOI10.1016/0304-3975(80)90003-1zbMath0433.68017OpenAlexW2082241908MaRDI QIDQ1139367

Nasser 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)

Related Items (29)

A Duality Theorem for Real C * Algebras ⋮ Continuity spaces: Reconciling domains and metric spaces ⋮ Approximating labelled Markov processes ⋮ A construction of free dcpo-cones ⋮ Reversible monadic computing ⋮ Domain theory and integration ⋮ A monad for randomized algorithms ⋮ Products and projective limits of continuous valuations on T₀ spaces ⋮ Some economic applications of Scott domains ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ Anatomy of a domain of continuous random variables. I ⋮ Comparing free algebras in topological and classical domain theory ⋮ From Haar to Lebesgue via Domain Theory ⋮ Continuous Domain Theory in Logical Form ⋮ Anatomy of a Domain of Continuous Random Variables II ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ The probabilistic powerdomain for stably compact spaces ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ Bisimulation for labelled Markov processes ⋮ An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages ⋮ Categories of Timed Stochastic Relations ⋮ A computable approach to measure and integration theory ⋮ Domain semantics of possibility computations ⋮ Unnamed Item ⋮ Computation on metric spaces via domain theory ⋮ Measure and probability for concurrency theorists ⋮ Extension of valuations on locally compact sober spaces ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains

Uses Software

• LCF

Cites Work

• Bases for Chain-complete Posets
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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