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.