(1)
Anderson, H.; Ciobanu, G. Markov Abstractions for Probabilistic Pi-Calculus.
ECEASST
2010
,
22
.