23 citations · 96 across the 11 of their papers we have counts for
1 paper · 2 filters
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…