Sequential Processes: Theory

Course subject(s) 4. Sequential Processes: Theory

This lecture is about Sequential Processes. The following subjects are treated ; Actions, Multi-Actions, Alternative and Sequential composition, Deadlocks, Conditional and Sum operators.

Sequential Processes

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
Back to top