Exponential clock (source code)

= Exponential clock

An exponential clock has an exponentially distributed waiting time. Independent clocks with respective rates $r_i$ have a minimum waiting time with rate $\sum_i r_i$.