Abstract: A diffracting token router for executing a correctness invariant. The diffracting token router is connected to at least one producer of tokens and at least two consumers of tokens. The diffracting token router includes an array of inlet wires, an array of outlet wires, a diffracting prism connected to the array of inlet wires and the array of two outlet wires and a decision decider connected to the diffracting prism and the at least two outlet wires. The diffracting taken router has two operative modes. In its first operative mode, two or more tokens arrive at the diffracting prism in a diffracting collision manner according to the correctness invariant, and are thereafter routed to the array of output wires according to the correctness invariant.