Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs | Publicación