The internal or τ -action.

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

System Validation: Automata and behavioural equivalences

42 ratings
From the lesson
Basic behavioural equivalences

Meet the Instructors

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