Generalized SBC Process Algebra for Communication and Concurrency

Single-queue SBC process algebra (S-SBC-PA), multi-queue SBC process algebra (M-SBC-PA), infinite-queue SBC process algebra (I-SBC-PA), and generalized SBC process algebra (G-SBC-PA) possessing the characteristics of structure-behavior coalescence (SBC) and all evolved from CCS (Calculus of Communicating Systems). CCS is a general process algebra language for the study of concurrent systems.In one way, three specialized SBC process algebras S-SBC-PA, M-SBC-PA, and I-SBC-PA, less like CCS, are only applicable to systems architecture. In another way, generalized SBC process algebra, more like CCS, is a general process algebra language for the study of communication and concurrency.We shall go through the details of generalized SBC process algebra in this book. Hopefully, readers will be able to identify the differences between CCS and G-SBC-PA.