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