scientific article; zbMATH DE number 4050957

MaRDI QIDQ3787450zbMATH OpenFDO

Authors Steven K. Graham

Publication date 1988

zbMATH Keywords

domain theoryprobabilistic domainsprobabilistic semanticsretracts of sequences of finite inductive partial orders

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1456958
• scientific article; zbMATH DE number 1231645
• scientific article; zbMATH DE number 4179422
• Probabilistic power domains, information systems, and locales
• scientific article; zbMATH DE number 3947603

Cited in

(10)

• Some economic applications of Scott domains
• Computation on metric spaces via domain theory
• Semantics of quantum programming languages: Classical control, quantum control
• Domains and stochastic processes
• Discrete random variables over domains
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• scientific article; zbMATH DE number 1231645 (Why is no real title available?)
• A note on probabilistic powerdomains
• scientific article; zbMATH DE number 1456958 (Why is no real title available?)
• Comparing free algebras in topological and classical domain theory

This page was built for publication:

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