Compositional Metric Reasoning with Probabilistic Process Calculi.

Daniel Gebler, Kim Guldstrand Larsen, Simone Tini

Browse the full FOSSACS paper archive.