scientific article; zbMATH DE number 1231570

MaRDI QIDQ4222889zbMATH OpenFDO

Authors Reinhold Heckmann

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#heckmann

zbMATH Keywords

abstract valuations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Probabilistic powerdomains and quasi-continuous domains
• The probabilistic powerdomain for stably compact spaces
• Domain representations of spaces of compact subsets
• scientific article; zbMATH DE number 1231650

Cited in

(9)

• Quantitative semantics, topology, and possibility measures
• Combining algebraic effect descriptions using the tensor of complete lattices
• Presenting de Groot duality of stably compact spaces
• Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
• Observationally-induced algebras in domain theory
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Probabilistic powerdomains and quasi-continuous domains
• scientific article; zbMATH DE number 7696898 (Why is no real title available?)
• On the preservation of projective limits by functors of probabilistic and of non-deterministic choice

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222889)