ISBN-13: 9781519303776 / Angielski / Miękka / 2015 / 84 str.
ISBN-13: 9781519303776 / Angielski / Miękka / 2015 / 84 str.
PART I: WHAT IS PROCESS ALGEBRA? PART II: MATHEMATICS OF SINGLE-QUEUE SBC PROCESSES PART III: THE STRUCTURE-BEHAVIOR COALESCENCE APPROACH PART IV: LANGUAGE CONSTRUCTS OF SINGLE-QUEUE SBC PROCESS ALGEBRA PART V: TRANSITIONAL SEMANTICS OF SINGLE-QUEUE SBC PROCESS ALGEBRA PART VI: FIRST EXAMPLE - SINGLE-QUEUE SBC PROCESS OF THE ROBOT SYSTEM PART VII: SECOND EXAMPLE - SINGLE-QUEUE SBC PROCESS OF THE AUTOMOBILE SYSTEM