Publisher's Synopsis
PART I: WHAT IS PROCESS ALGEBRA?PART II: MATHEMATICS OF SBC PROCESS ALGEBRAPART III: THE STRUCTURE-BEHAVIOR COALESCENCE APPROACHPART IV: EXECUTION OF THE SYSTEMS ARCHITECTUREPART V: SINGLE-QUEUE MODEL FOR INTERACTIONS SCHEDULINGPART VI: SINGLE-QUEUE SBC PROCESS ALGEBRAPART VII: SINGLE-QUEUE INTERACTIONS SCHEDULING VS. SINGLE-QUEUE SBC PROCESS ALGEBRAPART VIII: MULTI-QUEUE MODEL FOR INTERACTIONS SCHEDULINGPART IX: MULTI-QUEUE SBC PROCESS ALGEBRAPART X: MULTI-QUEUE INTERACTIONS SCHEDULING VS. MULTI-QUEUE SBC PROCESS ALGEBRAPART XI: INFINITE-QUEUE MODEL FOR INTERACTIONS SCHEDULINGPART XII: INFINITE-QUEUE SBC PROCESS ALGEBRAPART XIII: INFINITE-QUEUE INTERACTIONS SCHEDULING VS. INFINITE-QUEUE SBC PROCESS ALGEBRA
