Stochastic Pi-calculus Revisited (2013)

by L Cardelli, R Mardare
Venue:In ICTAC, volume 8049 of LNCS