Detecting termination of distributed computations using markers | Synapse