The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskningpeer review

OriginalsprogEngelsk
TitelEssays for the Luca Cardelli Fest : Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday
RedaktørerMartin Abadi, Philippa Gardner, Andrew D. Gordon, Radu Mardare
ForlagMicrosoft Research
Publikationsdato2014
Sider15-26
StatusUdgivet - 2014
BegivenhedLuca Cardelli Fest: A Conference in Honour of Luaca Cardelli, on the Occasion of his 60th Birthday - Microsoft Research Cambridge, Cambridge, Storbritannien
Varighed: 8 sep. 20149 sep. 2014

Konference

KonferenceLuca Cardelli Fest
LokationMicrosoft Research Cambridge
LandStorbritannien
ByCambridge
Periode08/09/201409/09/2014

Citationsformater

Bacci, G., Bacci, G., Larsen, K. G., & Mardare, R. I. (2014). The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances. I M. Abadi, P. Gardner, A. D. Gordon, & R. Mardare (red.), Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday (s. 15-26). Microsoft Research. http://research.microsoft.com/apps/pubs/?id=226237