A mathematical formalization of the parallel replica dynamics | Synapse