The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearchpeer-review

Original languageEnglish
Title of host publicationEssays for the Luca Cardelli Fest : Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday
EditorsMartin Abadi, Philippa Gardner, Andrew D. Gordon, Radu Mardare
PublisherMicrosoft Research
Publication date2014
Publication statusPublished - 2014
EventLuca Cardelli Fest: A Conference in Honour of Luaca Cardelli, on the Occasion of his 60th Birthday - Microsoft Research Cambridge, Cambridge, United Kingdom
Duration: 8 Sept 20149 Sept 2014


ConferenceLuca Cardelli Fest
LocationMicrosoft Research Cambridge
Country/TerritoryUnited Kingdom

Cite this