Abstract
A comparative semantics is given for a language Lprob containing probabilistic and non-deterministic choice. The effects of interpreting these operators as local or global are investigated. For three of the possible combinations an operational model and a denotational model are given and compared. First models for local probabilistic choice and local non-deterministic choice are given using a generative approach. By adjusting these models slightly models for global probability and local non-determinism are obtained. Finally models for local probability and global non-determinism are presented using a stratified approach. For use with the denotational models a construction of a complete ultra-metric space of finite multisets is given.
Original language | Undefined |
---|---|
Place of Publication | Amsterdam |
Publisher | Vrije Universiteit |
Publication status | Published - 1998 |
Keywords
- EWI-1068