scientific article; zbMATH DE number 1231645
From MaRDI portal
Publication:4222969
zbMath0917.68135MaRDI QIDQ4222969
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=13#13008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (23)
A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Discrete random variables over domains ⋮ Least upper bounds for probability measures and their applications to abstractions ⋮ The geometry of Bayesian programming ⋮ A Probabilistic Applied Pi–Calculus ⋮ On Higher-Order Probabilistic Subrecursion ⋮ Unnamed Item ⋮ Topological cones: functional analysis in a \(T_{0}\)-setting ⋮ Stably Compact Spaces and Closed Relations ⋮ 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 ⋮ Domain theory, testing and simulation for labelled Markov processes ⋮ Characterising FS domains by means of power domains ⋮ On the computational content of the Lawson topology ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Convenient Category of Domains ⋮ Probabilistic Completion of Nondeterministic Models
This page was built for publication:
