Testing reactive probabilistic processes

S. Georgievska, S. Andova

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

    3 Citations (Scopus)


    We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known.
    Original languageEnglish
    Title of host publicationProceedings Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010, Paphos, Cyprus, March 27-28, 2010)
    EditorsA. Di Pierro, G. Norman
    Publication statusPublished - 2010

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science
    ISSN (Print)2075-2180


    Dive into the research topics of 'Testing reactive probabilistic processes'. Together they form a unique fingerprint.

    Cite this