A Sketch of Reversible Deterministic Concurrency for Distributed Protocols