Mathias John Cédric Lhoussaine Joachim Niehren Dynamic Compartments in the Imperative <i>pi</i>-Calculus. 235-250 2009 CMSB http://dx.doi.org/10.1007/978-3-642-03845-7_16 conf/cmsb/2009 db/conf/cmsb/cmsb2009.html#JohnLN09