23 citations · 100 across the 15 of their papers we have counts for
5 papers · 2 filters
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
Kirstin Peters, Simone Tini
This volume contains the proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency and the 14th Workshop on Structural Operational Semantics (EXPRESS…
Logical Characterization of Trace Metrics
Valentina Castiglioni, Simone Tini
In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of intere…
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 analys…
A Probabilistic Calculus of Cyber-Physical Systems
Ruggero Lanotte, Massimo Merro, Simone Tini
We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilist…
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 red…