Controlling Discrete Event Message Propagation.algo