7 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type s…