Weak trace equivalence

Loading...
From the course by EIT Digital
System Validation: Automata and behavioural equivalences
38 ratings
EIT Digital

System Validation: Automata and behavioural equivalences

38 ratings
From the lesson
More behavioural equivalences
This module elaborates on the equivalences provided earlier. It is shown how it can be applied, especially to the alternating bit protocol. Furthermore, a number of additional equivalences are introduced.

Meet the Instructors

  • Jan Friso Groote
    Jan Friso Groote
    Full professor
    Mathematics and Computer Science, Eindhoven University of Technology