Compositional metric reasoning with Probabilistic Process Calculi (2015)

by Daniel Gebler, Kim G Larsen, Simone Tini
Venue:In Proc. FoSSaCS’15, volume 9034 of LNCS