Stephen Tyree Rayus Kuplicki Trevor Sarratt Scott Fujan John Hale GridSPiM: A Framework for Simple Locality and Containment in the Stochastic pi-Calculus. 409-423 2009 BICoB http://dx.doi.org/10.1007/978-3-642-00727-9_38 conf/bicob/2009 db/conf/bicob/bicob2009.html#TyreeKSFH09