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

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 observation congruence, attempt to ignore conditional expressions.
After further research, we find that if we treat the ＂condition＂ as a prefix, all the theories of generalized SBC process algebra will be more complete and beautiful.
In the second edition of this book, the reader should like to read conditional expressions that are so elegantly handled in all the theories such as interleaving, restricted composition, structural composition, and so on.

Dr. William S. Chao is the CEO & founder of SBC Architecture International(R). SBC (Structure-Behavior Coalescence) architecture is a systems architecture which demands the integration of systems structure and systems behavior of a system. SBC architecture applies to hardware architecture, software architecture, enterprise architecture, knowledge architecture, and thinking architecture. The core theme of SBC architecture is: Architecture = Structure + Behavior. William S. Chao received his bachelor degree (1976) in telecommunication engineering and master degree (1981) in information engineering, both from the National Chiao-Tung University, Taiwan. From 1976 till 1983, he worked as an engineer at Chung-Hwa Telecommunication Company, Taiwan. William S. Chao received his master degree (1985) in information science and Ph.D. degree (1988) in information science, both from the University of Alabama at Birmingham, USA. From 1988 till 1991, he worked as a computer scientist at GE Research and Development Center, Schenectady, New York, USA. Dr. William S. Chao has been teaching at National Sun Yat-Sen University, Taiwan since 1992 and now serves as the president of Association of Enterprise Architects, Taiwan Chapter. His research covers: systems architecture, hardware architecture, software architecture, enterprise architecture, knowledge architecture, and thinking architecture.