Weak Simulation Quasimetric in a Gossip Scenario - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Weak Simulation Quasimetric in a Gossip Scenario

Résumé

We propose the notion of weak simulation quasimetric as the quantitative counterpart of weak simulation for probabilistic processes. This is an asymmetric variant of the weak bisimulation metric of Desharnais et al. which maintains most of the properties of the original definition. However, our asymmetric version is particularly suitable to reason on protocols where the systems under consideration are not approximately equivalent. As a main application, we adopt our simulation theory in a simple probabilistic timed process calculus to derive an algebraic theory to evaluate the performances of gossip protocols.
Fichier principal
Vignette du fichier
446833_1_En_10_Chapter.pdf (293.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01658428 , version 1 (07-12-2017)

Licence

Paternité

Identifiants

Citer

Ruggero Lanotte, Massimo Merro, Simone Tini. Weak Simulation Quasimetric in a Gossip Scenario. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.139-155, ⟨10.1007/978-3-319-60225-7_10⟩. ⟨hal-01658428⟩
68 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More