Weak Simulation Quasimetric in a Gossip Scenario
From MaRDI portal
Publication:5082194
DOI10.1007/978-3-319-60225-7_10zbMath1489.68163OpenAlexW2619309487MaRDI QIDQ5082194
Massimo Merro, Simone Tini, Ruggero Lanotte
Publication date: 15 June 2022
Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01658428/file/446833_1_En_10_Chapter.pdf
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ SOS specifications for uniformly continuous operators ⋮ Unnamed Item ⋮ A probabilistic calculus of cyber-physical systems ⋮ Compositional weak metrics for group key update