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

    Research output: Book/ReportReportAcademic

    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.
    LanguageEnglish
    Place of PublicationAmsterdam
    PublisherVrije Universiteit Amsterdam
    Number of pages50
    StatePublished - 1998

    Publication series

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

    Fingerprint

    Nondeterminism
    Model
    Multiset
    Language
    Semantics
    Metric space
    Operator

    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.
    Hartog, den, J.I./ Comparative semantics for a process language with probabilistic choice and non-determinism. Amsterdam : Vrije Universiteit Amsterdam, 1998. 50 p. (Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport).
    @book{fee952f0cf914377a3f5992c26503ac2,
    title = "Comparative semantics for a process language with probabilistic choice and non-determinism",
    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.",
    author = "{Hartog, den}, J.I.",
    year = "1998",
    language = "English",
    series = "Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport",
    publisher = "Vrije Universiteit Amsterdam",

    }

    Hartog, den, JI 1998, Comparative semantics for a process language with probabilistic choice and non-determinism. Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport, vol. 445, Vrije Universiteit Amsterdam, Amsterdam.

    Comparative semantics for a process language with probabilistic choice and non-determinism. / Hartog, den, J.I.

    Amsterdam : Vrije Universiteit Amsterdam, 1998. 50 p. (Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport; Vol. 445).

    Research output: Book/ReportReportAcademic

    TY - BOOK

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

    AU - Hartog, den,J.I.

    PY - 1998

    Y1 - 1998

    N2 - 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.

    AB - 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.

    M3 - Report

    T3 - Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport

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

    PB - Vrije Universiteit Amsterdam

    CY - Amsterdam

    ER -

    Hartog, den JI. Comparative semantics for a process language with probabilistic choice and non-determinism. Amsterdam: Vrije Universiteit Amsterdam, 1998. 50 p. (Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport).