Comparative semantics for a process language with probabilistic choice and non-determinism

    Research output: Book/ReportReportAcademic

    24 Downloads (Pure)

    Abstract

    In this report a comparative semantics is given for a language L p 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 languageEnglish
    Place of PublicationAmsterdam
    PublisherVrije Universiteit Amsterdam
    Number of pages50
    Publication statusPublished - 1998

    Publication series

    NameVrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport
    Volume445

      Fingerprint

    Cite this

    Hartog, den, J. I. (1998). Comparative semantics for a process language with probabilistic choice and non-determinism. (Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport; Vol. 445). Amsterdam: Vrije Universiteit Amsterdam.