BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
probabilist (3)
without (2)
interpret (2)
abstract (2)
monad (1)

Stem powerdomain$ (all stems)

11 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.