GridSPiM: A Framework for Simple Locality and Containment in the Stochastic pi-Calculus. - Stephen Tyree; Rayus Kuplicki; Trevor Sarratt; Scott Fujan; John Hale (BICoB, 2009)