Channel-Based Infinite-Queue Sbc Process Algebra For Systems Definition: Integration Of Systems Structure And Systems Behavior

In the first edition of this book, we do not treat any conditional expression. Therefore, all the theories of channel-based infinite-queue SBC process algebra (C-I-SBC-PA) attempt to ignore all conditional expressions.After further research, we find that if we embed each condition into a prefix, all the theories of channel-based infinite-queue SBC process algebra will be more complete and beautiful.In the second edition of this book, the reader would enjoy to probe conditional expressions that are so elegantly handled in every aspect of channel-based infinite-queue SBC process algebra.

• | Author: William S. Chao
• | Publisher: CreateSpace Independent Publishing Platform
• | Publication Date: May 18, 2017
• | Number of Pages: 98 pages
• | Language: English
• | Binding: Paperback
• | ISBN-10: 1546692460
• | ISBN-13: 9781546692461