Probabilistic observations and valuations (extended abstract)

zbMATH Open1273.68141MaRDI QIDQ2852372FDOQ2852372

Authors: Matthias Schröder, Alex Simpson 

Publication date: 8 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600212X

Recommendations

• Publication:3203061
• Probabilistic power domains, information systems, and locales
• scientific article; zbMATH DE number 1456958
• scientific article; zbMATH DE number 3947603
• Probabilistic powerdomains and quasi-continuous domains

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cited In (9)

• Healthiness conditions for predicate transformers
• Title not available (Why is that?)
• Comparing free algebras in topological and classical domain theory
• Observationally-induced algebras in domain theory
• Semi-decidability of may, must and probabilistic testing in a higher-type setting
• Observationally-induced lower and upper powerspace constructions
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Observationally-induced effects in Cartesian closed categories
• Observationally-induced effect monads: upper and lower powerspace constructions

This page was built for publication: Probabilistic observations and valuations (extended abstract)

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