Variants of SBC Process Algebra: The Structure-Behavior Coalescence Approach

ISBN-13: 9781517671624 / Angielski / Miękka / 2015 / 154 str.

Dr William S. Chao

Opis

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