30 citations · 42 across the 13 of their papers we have counts for
1 paper · 1 filter
Silvia Crafa
Recent mainstream programming languages such as Erlang or Scala have renewed the interest on the Actor model of concurrency. However, the literature on the static analysis of actor…