Theoretical foundations of dynamical Monte Carlo simulations | Synapse