Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach

By 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.

• Format: Paperback
• Language: English
• ISBN: 1544226136
• ISBN13: 9781544226132
• Release Date: March 2017
• Publisher: Createspace Independent Publishing Platform
• Length: 260 Pages
• Weight: 0.78 lbs.
• Dimensions: 0.6" x 6.0" x 9.0"