scientific article
From MaRDI portal
zbMath0644.68027MaRDI QIDQ3787450
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
domain theoryprobabilistic semanticsprobabilistic domainsretracts of sequences of finite inductive partial orders
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Discrete random variables over domains, The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras, Semantics of quantum programming languages: Classical control, quantum control, Some economic applications of Scott domains, Comparing free algebras in topological and classical domain theory, Computation on metric spaces via domain theory
