-- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A