Stem powerdomain$ (all stems)
11 papers:
LICS-2012-McIverMM #information management #nondeterminism #probability- A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism (AM, LM, CM), pp. 461–470.
LICS-2010-Goubault-Larrecq #probability- ω-QRB-Domains and the Probabilistic Powerdomain (JGL), pp. 352–361.
ICALP-2002-MartinMW #probability- Measuring the Probabilistic Powerdomain (KM, MWM, JW), pp. 463–475.
LICS-2002-Varacca- The Powerdomain of Indexed Valuations (DV), p. 299–?.
QAPL-2001-Martin- Powerdomains and Zero Finding (KM), pp. 173–184.
LFP-1992-MullerZ #abstract interpretation- Abstract Interpretation in Weak Powerdomains (RM, YZ), pp. 119–126.
LICS-1989-JonesP #probability- A Probabilistic Powerdomain of Evaluations (CJ, GDP), pp. 186–195.
POPL-1988-HudakY- A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.
POPL-1987-Oles #concurrent #semantics- Semantics for Concurrency without Powerdomains (FJO), pp. 211–222.
ICALP-1985-Hrbacek #algebra- Powerdomains as Algebraic Lattices (Preliminary Report) (KH), pp. 281–289.
ICALP-1982-Plotkin #nondeterminism- A Powerdomain for Countable Non-Determinism (Extended Abstract) (GDP), pp. 418–428.