Prefix-Based Tracing in Message-Passing Concurrency | Publicación