A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency | Publicación