A definition scheme for quantitative bisimulation

D. Latella, M. Massink, E.P. Vink, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Samenvatting

FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as continuous-time Markov chains, interactive Markov chains, and Markov automata. A general scheme for the definition of a notion of strong bisimulation associated with a FuTS is proposed. It is shown that this notion of bisimulation for a FuTS coincides with the coalgebraic notion of behavioral equivalence associated to the functor on Set given by the type of the FuTS. For a series of concrete quantitative semantical models the notion of bisimulation as reported in the literature is proven to coincide with the notion of quantitative bisimulation obtained from the scheme. The comparison includes models with orthogonal behaviour, like interactive Markov chains, and with multiple levels of behavior, like Markov automata. As a consequence of the general result relating FuTS bisimulation and behavioral equivalence we obtain, in a systematic way, a coalgebraic underpinning of all quantitative bisimulations discussed.
Originele taal-2Engels
TitelThirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015)
RedacteurenN. Bertrand, M. Tribastone
UitgeverijEPTCS
Pagina's63-78
DOI's
StatusGepubliceerd - 2015

Publicatie series

NaamElectronic Proceedings in Theoretical Computer Science
Volume194
ISSN van geprinte versie2075-2180

Vingerafdruk Duik in de onderzoeksthema's van 'A definition scheme for quantitative bisimulation'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Latella, D., Massink, M., & Vink, de, E. P. (2015). A definition scheme for quantitative bisimulation. In N. Bertrand, & M. Tribastone (editors), Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015) (blz. 63-78). (Electronic Proceedings in Theoretical Computer Science; Vol. 194). EPTCS. https://doi.org/10.4204/EPTCS.194.5