Publication:4553277
From MaRDI portal
DOI10.23638/LMCS-14(3:24)2018zbMath1408.68030arXiv1707.03215MaRDI QIDQ4553277
Massimo Merro, Ruggero Lanotte, Simone Tini
Publication date: 2 November 2018
Full work available at URL: https://arxiv.org/abs/1707.03215
gossip protocols; wireless sensor network; quasimetric; asymmetric bisimulation metric; collision-free gossip protocols; collision-prone gossip protocols; probabilistic operational semantics; randomized gossip protocols; weak simulation with tolerance
68M12: Network protocols
Related Items
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces, A probabilistic calculus of cyber-physical systems, Logical characterization of branching metrics for nondeterministic probabilistic transition systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Metrics for labelled Markov processes
- A timed calculus for wireless systems
- An analytical model of information dissemination for a gossip-based protocol
- A framework for security analysis of mobile wireless networks
- An operational semantics for a calculus for wireless systems
- A process calculus for mobile ad hoc networks
- Probabilistic weak simulation is decidable in polynomial time
- The dining cryptographers problem: Unconditional sender and recipient untraceability
- Bisimulation through probabilistic testing
- SOS specifications for uniformly continuous operators
- A behavioural pseudometric for probabilistic transition systems
- A process algebra for timed systems
- Computing Behavioral Distances, Compositionally
- A Process Algebra for Wireless Mesh Networks
- Compositional Metric Reasoning with Probabilistic Process Calculi
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Equational Reasoning on Mobile Ad Hoc Networks
- Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
- Probabilistic Mobility Models for Mobile and Wireless Networks
- Characterising Testing Preorders for Finite Probabilistic Processes
- A Calculus for Mobile Ad Hoc Networks
- Weak Simulation Quasimetric in a Gossip Scenario
- Modelling MAC-Layer Communications in Wireless Systems
- Automata, Languages and Programming