scientific article; zbMATH DE number 3843129

MaRDI QIDQ3313252zbMATH OpenFDO

Authors Glynn Winskel

Publication date 1983

zbMATH Keywords

complete partial ordersdenotational semanticsmodal operatorsnondeterminismnondeterministic computationspowerdomainstemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Recommendations

• On powerdomains and modality
• scientific article; zbMATH DE number 3954251
• scientific article; zbMATH DE number 4005585
• scientific article; zbMATH DE number 3915610
• scientific article; zbMATH DE number 4089615

Cited in

(16)

• On powerdomains and modality
• Topology, domain theory and theoretical computer science
• Clausal logic and logic programming in algebraic domains
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 4005585 (Why is no real title available?)
• scientific article; zbMATH DE number 4031931 (Why is no real title available?)
• scientific article; zbMATH DE number 4092754 (Why is no real title available?)
• scientific article; zbMATH DE number 33416 (Why is no real title available?)
• scientific article; zbMATH DE number 2079041 (Why is no real title available?)
• Observation equivalence as a testing equivalence
• Dynamic interval analysis by abstract interpretation
• Powerdomains and zero finding
• Machine space. I: Weak exponentials and quantification over compact spaces
• Probabilistic predicate transformers. II: Partially observable probability
• Using information systems to solve recursive domain equations
• The Hoare and Symth power domain constructors commute under composition

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