Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

J.I. den Hartog, E.P. de Vink, J.W. de Bakker

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    30 Downloads (Pure)

    Abstract

    This paper provides a case-study in the field of metric semantics for probabilistic programming. Both an operational and a denotational semantics are presented for an abstract process language L_pr, which features action refinement and probabilistic choice. The two models are constructed in the setting of complete ultrametric spaces, here based on probability measures of compact support over sequences of actions. It is shown that the standard toolkit for metric semantics works well in the probabilistic context of L_pr, e.g. in establishing the correctness of the denotational semantics with respect to the operational one. In addition, it is shown how the method of proving full abstraction --as proposed recently by the authors for a nondeterministic language with action refinement-- can be adapted to deal with the probabilistic language L_pr as well.
    Original languageEnglish
    Title of host publicationMFCSIT2000
    Subtitle of host publicationThe First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology
    EditorsTed Hurley, Michel Schellekens, Anthony Seda, M. Mac an Airchinnigh
    PublisherElsevier
    Pages72-99
    Number of pages28
    DOIs
    Publication statusPublished - Mar 2001
    Event1st Irish Conference on the Mathematical Foundations of Computer Science and Information, MFCSIT 2000 - Cork, Ireland
    Duration: 20 Jul 200021 Jan 2006
    Conference number: 1

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Volume40

    Conference

    Conference1st Irish Conference on the Mathematical Foundations of Computer Science and Information, MFCSIT 2000
    Abbreviated titleMFCSIT
    CountryIreland
    CityCork
    Period20/07/0021/01/06

    Fingerprint

    Dive into the research topics of 'Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice'. Together they form a unique fingerprint.

    Cite this