Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach Contributor(s): Chao, William S. (Author) |
|
ISBN: 1544226136 ISBN-13: 9781544226132 Publisher: Createspace Independent Publishing Platform OUR PRICE: $14.77 Product Type: Paperback - Other Formats Published: March 2017 |
Additional Information |
BISAC Categories: - Science | System Theory |
Physical Information: 0.55" H x 6" W x 9" (0.78 lbs) 260 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |