Specialization of Distributed Actors by Partial Evaluation | Publicación