Review on stochastic comparison relations

Schivo, Stefano (2008) Review on stochastic comparison relations. UNSPECIFIED. (Unpublished)

Download (545Kb) | Preview


    The report offers an overview of some stochastic simulation and bisimulation relations based on continuous-time Markov chains and on stochastic (possibly Markovian) process algebras.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Uncontrolled Keywords: CTMC, markovian calculi, stochastic (bi)simulation
    Report Number: DISI-08-34
    Repository staff approval on: 05 Aug 2008

    Actions (login required)

    View Item