The powerdomain of indexed valuations

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2002, Pages 299-308

  Varacca, Daniele ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

POWERDOMAIN;

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; PROBABILITY; PROBABILITY DISTRIBUTIONS; SEMANTICS; SET THEORY; THEOREM PROVING;

COMPUTER SCIENCE;

EID: 0036044726     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2002.1029838     Document Type: Conference Paper

References (14)

1. Domain theory
2. Distributive laws
3. Probabilistic extensions of process algebras
4. Nondeterminism and probabilistic choice: Obeying the law
5. Notions of computation and monads
6. Probabilistic simulations for probabilistic processes
7. Automatic verification of probabilistic concurrent finite-state programs