A linear process-algebraic format for probabilistic systems with data (extended version)

    Research output: Book/ReportReportAcademic

    30 Downloads (Pure)

    Abstract

    This paper presents a novel linear process-algebraic format for probabilistic automata. The key ingredient is a symbolic transformation of probabilistic process algebra terms that incorporate data into this linear format while preserving strong probabilistic bisimulation. This generalises similar techniques for traditional process algebras with data, and - more importantly - treats data and data-dependent probabilistic choice in a fully symbolic manner, paving the way to the symbolic analysis of parameterised probabilistic systems.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages18
    Publication statusPublished - 7 Apr 2010

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-10-11
    ISSN (Print)1381-3625

    Keywords

    • IR-70900
    • Probabilistic process algebra
    • EWI-17778
    • EC Grant Agreement nr.: FP7-ICT-2007-1
    • Symbolic transformations
    • METIS-270782
    • Linearisation
    • Data-dependent probabilistic choice
    • EC Grant Agreement nr.: FP7/214755

    Cite this