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)