The actor model eases the definition of concurrent programs with non uniform beh aviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems. This approach was based on constraint set resolution and was …