On powerdomains and modality

DOI10.1016/0304-3975(85)90037-4zbMATH Open0579.68018OpenAlexW1968606491MaRDI QIDQ1067409FDOQ1067409

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

Recommendations

• scientific article; zbMATH DE number 3843129
• scientific article; zbMATH DE number 3915610
• scientific article; zbMATH DE number 33416
• scientific article; zbMATH DE number 4089615
• scientific article; zbMATH DE number 3954251

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Powerdomain Construction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving Liveness Properties of Concurrent Programs
• Title not available (Why is that?)
• Algebraic semantics
• Title not available (Why is that?)

Cited In (33)

• A representable approach to finite nondeterminism
• Title not available (Why is that?)
• A semantic theory for value-passing processes based on the late approach
• Non-deterministic information systems and their domains
• The mixed powerdomain
• Deduction with uncertain conditionals
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear domains and linear maps
• Domain theory for concurrency
• A note on fuzzy power relations
• Developments in concurrent Kleene algebra
• Relation lifting, a survey
• The connected Vietoris powerlocale
• Coalgebraic representations of distributive lattices with operators
• Title not available (Why is that?)
• A comment on relevant truth table logic
• A new generic scheme for functional logic programming with constraints
• 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
• Title not available (Why is that?)
• 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)