CPO's of measures for nondeterminism
From MaRDI portal
Publication:1139367
DOI10.1016/0304-3975(80)90003-1zbMath0433.68017OpenAlexW2082241908MaRDI QIDQ1139367
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)
Related Items
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 T0 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
Cites Work
