Static Analysis of Actors by Abstract Interpretation