Report copyright - A Correct Abstract Machine for the Stochastic Pi-calculus · Bio-CONCUR 2004 Preliminary Version A Correct Abstract Machine for the Stochastic Pi-calculus Andrew Phillips1 Luca Cardelli2
Please pass captcha verification before submit form