Asynchronous

Each component can be updated separately, which gives a different successor for each updatable component.

This updating is non-deterministic: each state can have several successors (at most as many as the number of components).