Before revision: p. 467. which are then used to model interactions that include parallelism, conditional branches, optional interactions .
After revision: p 467. which are then used to model interactions that include parallelism, conditional branches, optional interactions .