Publisher's Synopsis
PART I: WHAT IS PROCESS ALGEBRA?PART II: MATHEMATICS OF INFINITE-QUEUE SBC PROCESSESPART III: THE STRUCTURE-BEHAVIOR COALESCENCE APPROACHPART IV: LANGUAGE CONSTRUCTS OF INFINITE-QUEUE SBC PROCESS ALGEBRAPART V: TRANSITIONAL SEMANTICS OF INFINITE-QUEUE SBC PROCESS ALGEBRAPART VI: FIRST EXAMPLE -- INFINITE-QUEUE SBC PROCESS OF THE ROBOT SYSTEMPART VII: SECOND EXAMPLE -- INFINITE-QUEUE SBC PROCESS OF THE AUTOMOBILE SYSTEM