Pierre-Loïc Garoche Marc Pantel Xavier Thirioux Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. 78-92 2006 conf/fmoods/2006 FMOODS http://dx.doi.org/10.1007/11768869_8 db/conf/fmoods/fmoods2006.html#GarochePT06