On powerdomains and modality

DOI10.1016/0304-3975(85)90037-4MaRDI QIDQ1067409zbMATH OpenOpenAlexFDO

Authors Glynn Winskel

Publication date 1985

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(85)90037-4

zbMATH Keywords

modal logicbranching treedenotational semantics of non-deterministic computations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 3814961 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3729429 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 3806938 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• A Powerdomain Construction
• Algebraic semantics
• Proving Liveness Properties of Concurrent Programs

Cited in

(33)

• A representable approach to finite nondeterminism
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)
• Non-deterministic information systems and their domains
• A semantic theory for value-passing processes based on the late approach
• The mixed powerdomain
• Deduction with uncertain conditionals
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• scientific article; zbMATH DE number 4092754 (Why is no real title available?)
• scientific article; zbMATH DE number 3843129 (Why is no real title available?)
• scientific article; zbMATH DE number 3915610 (Why is no real title available?)
• Domain theory for concurrency
• Linear domains and linear maps
• Developments in concurrent Kleene algebra
• Relation lifting, a survey
• A note on fuzzy power relations
• The connected Vietoris powerlocale
• Coalgebraic representations of distributive lattices with operators
• scientific article; zbMATH DE number 2079041 (Why is no real title available?)
• A new generic scheme for functional logic programming with constraints
• A comment on relevant truth table logic
• On orderings in security models
• Mathematical modal logic: A view of its evolution
• Extracting program logics from abstract interpretations defined by logical relations
• Domain semantics of possibility computations
• Power structures
• Exploring an interface model for CKA
• An algebraic theory for shared-state concurrency
• Radical theory of Scott-open filters
• A discrete geometric model of concurrent program execution
• A domain equation for bisimulation
• scientific article; zbMATH DE number 33416 (Why is no real title available?)
• Cartesian closed categories of domains and the space proj(D)
• OUTLINES FOR A PHENOMENOLOGICAL FOUNDATION FOR DE RONDE’S THEORY OF POWERS AND POTENTIA

This page was built for publication: On powerdomains and modality

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