Search

• < Previous
• 1
• Next >

---

Equational Reasonings in Wireless Network Gossip Protocols

Ruggero Lanotte ; Massimo Merro ; Simone Tini.

Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analysis technique to study formal probabilistic models of gossip protocols expressed in a simple probabilistic timed process&nbsp;[&hellip;]

---

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes

Valentina Castiglioni ; Daniel Gebler ; Simone Tini.

We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to reduce the satisfaction problem of a formula for a process to verifying whether its subprocesses satisfy certain formulae&nbsp;[&hellip;]

---