• Selma Lagerløfs Vej 300, 1-2-11

    9220 Aalborg Ø


If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

Report chapter

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (eds.). Microsoft Research, p. 15-26

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