Probabilistic observations and valuations (extended abstract)

MaRDI QIDQ2852372zbMATH OpenFDO

Authors Matthias Schröder, Alex Simpson

Publication date 8 October 2013

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

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Healthiness conditions for predicate transformers
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• 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)