Static analysis of an actor-based process calculus by abstract interpretation