scientific article; zbMATH DE number 3902043

MaRDI QIDQ3680283zbMATH OpenFDO

Authors Gordon D. Plotkin

Publication date 1982

zbMATH Keywords

next state set semanticspowerdomainspredicate transformer semanticsprobabilistic algebraprobabilistic non determinism

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of computing (68Q99)

Recommendations

• Semantic domains for combining probability and non-determinism
• scientific article; zbMATH DE number 4179422
• scientific article; zbMATH DE number 4005585
• Retracted: Semantic domains for combining probability and non-determinism
• scientific article; zbMATH DE number 6712178

Cited in

(8)

• Domain semantics of possibility computations
• Semantics of non-deterministic possibility computation
• scientific article; zbMATH DE number 6712178 (Why is no real title available?)
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• Retracted: Semantic domains for combining probability and non-determinism
• Semantic domains for combining probability and non-determinism
• Theory and Applications of Models of Computation
• Topological cones: functional analysis in a \(T_{0}\)-setting

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 Q3680283)