On powerdomains and modality
From MaRDI portal
Publication:1067409
DOI10.1016/0304-3975(85)90037-4zbMath0579.68018OpenAlexW1968606491MaRDI QIDQ1067409
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
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Reverse mathematics, well-quasi-orders, and Noetherian spaces, Linear domains and linear maps, Relation lifting, a survey, Developments in concurrent Kleene algebra, A comment on relevant truth table logic, A domain equation for bisimulation, On orderings in security models, Coalgebraic representations of distributive lattices with operators, Exploring an Interface Model for CKA, A new generic scheme for functional logic programming with constraints, A representable approach to finite nondeterminism, A semantic theory for value-passing processes based on the late approach, Radical theory of Scott-open filters, Cartesian closed categories of domains and the space proj(D), An algebraic theory for shared-state concurrency, A Discrete Geometric Model of Concurrent Program Execution, Mathematical modal logic: A view of its evolution, Domain theory for concurrency, The mixed powerdomain, Power structures, The connected Vietoris powerlocale, Deduction with uncertain conditionals, A note on fuzzy power relations, Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
Cites Work
