Deriving process congruences from reaction rules