Home » Multi-Queue SBC Process Algebra for Systems Architecture: The Structure-Behavior Coalescence Approach by William S. Chao
Multi-Queue SBC Process Algebra for Systems Architecture: The Structure-Behavior Coalescence Approach William S. Chao

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

William S. Chao

Published November 15th 2015
ISBN : 9781519304568
Paperback
86 pages
Enter the sum

 About the Book 

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