scientific article; zbMATH DE number 6970791
From MaRDI portal
Publication:4553277
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
gossip protocolswireless sensor networkquasimetricasymmetric bisimulation metriccollision-free gossip protocolscollision-prone gossip protocolsprobabilistic operational semanticsrandomized gossip protocolsweak simulation with tolerance
Related Items (3)
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ A probabilistic calculus of cyber-physical systems
Cites Work
- 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
- Compositional weak metrics for group key update
- Modelling MAC-Layer Communications in Wireless Systems
- SOS specifications of probabilistic systems by uniformly continuous operators
- Automata, Languages and Programming
This page was built for publication:
