@misc{indiciaef7cacc6043c4,
  title = {Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation},
  author = {Pierre-Loïc Garoche and Marc Pantel and Xavier Thirioux},
  year = {2006},
  doi = {10.1007/11768869\_8},
  url = {https://arxiv.org/abs/cs/0611139},
  note = {Source identifier: cs/0611139}
}