Home Courses System Validation Course materials Lectures Sequential Processes: Theory

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

Slides_System_Validation_4
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