Search

• < Previous
• 1
• Next >

---

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Daniel Gebler ; Kim G. Larsen ; Simone Tini.

We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of non-expansiveness) captures the essential nature of compositional&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;]

---

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;]

---

A framework to measure the robustness of programs in the unpredictable environment

Valentina Castiglioni ; Michele Loreti ; Simone Tini.

Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with humans and with their environment, it is thus&nbsp;[&hellip;]

---