7

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

Static Analysis of Actors by Abstract Interpretation