

In the first edition of this book, we do not treat "conditions" in conditional expressions as prefixes. Therefore, all the theories of generalized SBC process algebra (G-SBC-PA), such as interleaving, restricted composition, structural composition, observation equivalence and...

After the second edition of this book has been published, we found that in addition to treating each "condition" in a conditional expression as a prefix, we can embed each condition in the prefix.
We decide to revise this book. In the third edition of this book, every condition...