Compositional metric reasoning with Probabilistic Process Calculi

Probabilistic process calculi are algebraic theories to specify and verify probabilistic concurrent systems. Bisimulation metric is a fundamental semantic notion that defines the behavioral distance of probabilistic processes. We study which operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. Moreover, we characterize the distance between probabilistic processes composed by standard process algebra operators.  

hosted by