Stochastic Pi-calculus Revisited.

Luca Cardelli, Radu Mardare

Browse the full ICTAC paper archive.