Du er ikke logget ind
Beskrivelse
PART I: WHAT IS PROCESS ALGEBRA?PART II: MATHEMATICS OF MULTI-QUEUE SBC PROCESSESPART III: THE STRUCTURE-BEHAVIOR COALESCENCE APPROACHPART IV: LANGUAGE CONSTRUCTS OF MULTI-QUEUE SBC PROCESS ALGEBRAPART V: TRANSITIONAL SEMANTICS OF MULTI-QUEUE SBC PROCESS ALGEBRAPART VI: FIRST EXAMPLE -- MULTI-QUEUE SBC PROCESS OF THE ROBOT SYSTEMPART VII: SECOND EXAMPLE -- MULTI-QUEUE SBC PROCESS OF THE AUTOMOBILE SYSTEM