Markov Abstractions for Probabilistic Pi-Calculus

Hugh Anderson, Gabriel Ciobanu. Markov Abstractions for Probabilistic Pi-Calculus. ECEASST, 22, 2009. [doi]

Abstract

Abstract is missing.