The "|i|" order operator : interlacing (default scheduling)

Both processes are sequentially evaluated, considering every possibility: here P followed by Q and Q followed by P. Warning: this operator easily leads to an explosion of the number of execution paths.

Considering 2 processes : P and Q, with interlacing, both process are evaluated sequentially while preserving the exhaustivity of the possible cases. It means at each iteration (i.e. from each context), Diversity will explore both :

This method can entail combinatorial explosion on the number of execution paths.

Application on the most basic example

Applying this on our most basic example, the "@moe:" section looks like :

And exploring the different paths with the symbolic engine (5, 6 and 7 evaluation steps) gives us :