Parallel Processes: Theory

Course subject(s) 6. 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

Creative Commons License
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/.
Back to top