Searching for "On the Smyth Power Domain." – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Isomorphisms between Predicate and State Transformers
- …, Hoare power domain, Smyth power domain, Plotkin power domain. Note: The research of Marcello Bonsangue…
- Add To MetaCart
-
Adjunctions Between Categories of Domains
- … of the three standard power domain constructs gives rise to a left adjoint. Since the Hoare and Smyth power…
- Add To MetaCart
-
Relating Multifunctions and Predicate Transformers through Closure Operators
- … construction, on the Hoare, Smyth and Plotkin power domains, and based on the compact and closed metric power…
- Cited by 5 (4 self) – Add To MetaCart
-
The Weakest Precondition Calculus: Recursion and Duality
- … (liberal) preconditions; refinement; fixed point transformations; Smyth power domain; Egli-Milner power…
- Cited by 7 (3 self) – Add To MetaCart
-
Information Systems for Continuous Posets
- … the duality directly to the domains themselves, but an indirect application is that the Smyth power domain Pu…
- Cited by 9 (1 self) – Add To MetaCart
-
Isomorphisms between Predicate and State Transformers
- … preconditions, refinement, Hoare power domain, Smyth power domain, Plotkin power domain. Note: The research…
- Cited by 4 (0 self) – Add To MetaCart
-
External Examiner
- … accounts for partial correctness of programs. We argue that, although Smyth power domains cannot faithfully…
- Add To MetaCart
-
A Semantic Theory for Value-Passing Processes Late Approach - Part I: A Denotational . . .
- … of communication capabilities or more precisely as an element of the Smyth Power Domain [Smy78] over the domain…
- Cited by 8 (4 self) – Add To MetaCart
-
Angelic Non-Determinism in Concurrent Constraint Programming
- … ) there is a j ! k such that s `E x j . But this, of course, is just the construction of the Smyth power-domain…
- Cited by 27 (3 self) – Add To MetaCart
-
Two-Categories and Program Structure
- … framework. In Proc., IEEE Logic in Computer Science, 1987. [Smy83] M.B. Smyth. Power domains and predicate…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
