Strong bisimulation

Loading...
View Syllabus

Skills You'll Learn

Bisimulation, Finite-State Machine, Transition System

Reviews

4.2 (115 ratings)
  • 5 stars
    55.65%
  • 4 stars
    21.73%
  • 3 stars
    15.65%
  • 2 stars
    4.34%
  • 1 star
    2.60%
AA
Oct 13, 2016

I've learn more thing's in this course..., thank you Coursera :) :) :)

EC
May 14, 2017

Thanks! Very well done for an introductory course.

From the lesson
Basic behavioural equivalences

Taught By

  • Placeholder

    Jan Friso Groote

    Full professor

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.