Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.

Pedro R. D'Argenio, Daniel Gebler, Matias David Lee

Browse the full FOSSACS paper archive.