%0 Conference Proceedings
%T Weak Simulation Quasimetric in a Gossip Scenario
%+ Universitá degli Studi dell’Insubria = University of Insubria [Varese] (Uninsubria)
%+ Università degli studi di Verona = University of Verona (UNIVR)
%A Lanotte, Ruggero
%A Merro, Massimo
%A Tini, Simone
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Neuchâtel, Switzerland
%Y Ahmed Bouajjani
%Y Alexandra Silva
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-10321
%P 139-155
%8 2017-06-19
%D 2017
%R 10.1007/978-3-319-60225-7_10
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01658428/document
%2 https://inria.hal.science/hal-01658428/file/446833_1_En_10_Chapter.pdf
%L hal-01658428
%U https://inria.hal.science/hal-01658428
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-10321