@inbook{23df53fd0ce74cffacd09d34a1f00966,
title = "The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances",
author = "Giorgio Bacci and Giovanni Bacci and Larsen, {Kim Guldstrand} and Mardare, {Radu Iulian}",
year = "2014",
language = "English",
pages = "15--26",
editor = "Martin Abadi and Philippa Gardner and Gordon, {Andrew D.} and Radu Mardare",
booktitle = "Essays for the Luca Cardelli Fest",
publisher = "Microsoft Research",
note = "Luca Cardelli Fest : A Conference in Honour of Luaca Cardelli, on the Occasion of his 60th Birthday ; Conference date: 08-09-2014 Through 09-09-2014",
}