TY  - RPRT
TI  - Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
AU  - Pierre-Loïc Garoche
AU  - Marc Pantel
AU  - Xavier Thirioux
PY  - 2006
DO  - 10.1007/11768869_8
UR  - https://arxiv.org/abs/cs/0611139
ID  - cs/0611139
ER  -