William S Chao

Generalized SBC Process Algebra for Communication and Concurrency William S Chao

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 is embedded into a prefix. All the theories of generalized SBC process algebra (G-SBC-PA), such as interleaving, restricted composition and structural composition are thereafter gorgeously developed. Readers are encouraged to compare the first and second versions with this one. It is interesting to understand the author's rewrite of the twists and turns of this book.