Modelling message-passing programs for static mapping | Publicación