Multi-Queue SBC Process Algebra For Systems Architecture: The Structure-Behavior Coalescence Approach

ISBN-13: 9781519304568 / Angielski / Miękka / 2015 / 92 str.

Dr William S. Chao

Opis

PART I: WHAT IS PROCESS ALGEBRA? PART II: MATHEMATICS OF MULTI-QUEUE SBC PROCESSES PART III: THE STRUCTURE-BEHAVIOR COALESCENCE APPROACH PART IV: LANGUAGE CONSTRUCTS OF MULTI-QUEUE SBC PROCESS ALGEBRA PART V: TRANSITIONAL SEMANTICS OF MULTI-QUEUE SBC PROCESS ALGEBRA PART VI: FIRST EXAMPLE -- MULTI-QUEUE SBC PROCESS OF THE ROBOT SYSTEM PART VII: SECOND EXAMPLE -- MULTI-QUEUE SBC PROCESS OF THE AUTOMOBILE SYSTEM