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

---

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

---