Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Logical Methods in Computer Science, 2023)