Branching bisimulation

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
Coursera provides universal access to the world’s best education, partnering with top universities and organizations to offer courses online.
© 2017 Coursera Inc. All rights reserved.
Download on the App StoreGet it on Google Play