Parallel Processes: Theory
This lecture is about Parallel Processes. The following subjects are treated ; Parallel Composition and Expansion Law, Communication, Block, Allow and Hiding.
Parallell Processes: Theory part 1
Parallel Processes: Theory part 2
System Validation by TU Delft OpenCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at https://ocw.tudelft.nl/courses/system-validation/.