3 results
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 […]
Published on June 25, 2018
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 […]
Published on September 28, 2018
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 […]
Published on April 27, 2017