Home Courses System Validation Course materials Lectures Strong behavioral equivalences and Weak behavioral equivalences

Strong behavioral equivalences and Weak behavioral equivalences

Course subject(s) 2. Strong behavioral equivalences and Weak behavioral equivalences

In this lecture the behavioral equivalences of the system is treated. The topics are Labelled Transition Systems, Weak and Strong equivalences.

Strong Behavioral equivalences and Weak behavioral equivalences part 1

Weak behavioral equivalences part 2

Slides_Sytem_Validation_2.1
Slides_Sytem_Validation_2.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