Peak resource analysis of concurrent distributed systems | Publicación