Global State Matrix and Rollback
At every detection point Dq if there is no error, global state matrix is updated to reflect the dependencies and the validations received since last Dq-1.
Validation messages are sent for regular message whose dependencies have been cleared.
When an error is detected, rollback message is sent to selected processes based on the contents of global state matrix.