Searching for "The Mixed Powerdomain." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

pp. 288-314 in M.P. Fourman, P.T. Johnstone and A.M. Pitts (eds) Applications
by Durham London Mathematical, Steven Vickers — 1992 — Applications of Categories in Computer Science, volume 177 of London Mathematical Society Lecture Notes
… to the lower (Hoare) powerdomain and Gunter's mixed powerdomain. Terminology Throughout this paper, "domain…
Add To MetaCart

Algebraic Characterization of Edible Powerdomains
by Leonid Libkin — 1993
… and Information Science University of Pennsylvania Philadelphia, PA 19104, USA Abstract Powerdomains like mixes…
Cited by 2 (2 self) – Add To MetaCart

A domain equation for refinement of partial systems
by Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt — UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENC
… such systems to non- at state sets. We then solve a domain equation over the mixed powerdomain whose solution…
Cited by 8 (3 self) – Add To MetaCart

Managing Semantic Heterogeneity in Databases: A Theoretical Perspective
by Richard Hull, Wwwd D. Wodtke, J. Weissenfels, G. Weikum, R. S. Patil, R. E. Fikes, P. F. Patel-schneider, D. Mckay, T. Finin, T. R. Gruber, R. Neches The, B. Nebel, C. Rich, W. Swartout, Pkh C. Pu, G. E. Kaiser, N. Hutchinson Splittransactions, J. Mylopoulos, Rr G. Ramalingam — 1997
… Generation Computer Systems, pages 125--139, 1994. [Gun92] C. Gunter. The mixed powerdomain. Theoretical…
Cited by 135 (0 self) – Add To MetaCart

Modal Transition Systems: A Foundation for Three-Valued Program Analysis
by Michael Huth, Radha Jagadeesan, David A. Schmidt — 2000
… of "liveness " and "safety." Section 3 introduces Kripke MTSs, their refinement relation, and their mixed-powerdomain…
Cited by 59 (11 self) – Add To MetaCart

INDEX equality 11, 169
by Tanaka Tannen Breazu-Tannen, Ullman J, Vianu V, Vickers S, Winskel G, Zicari R
…. The mixed powerdomain. Theoretical Computer Science 103 (1992), 311--334. [67] C. Gunter. "Semantics…
Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB