Weak bisimulation

Loading...
Visualiser le programme de cours

Compétences que vous apprendrez

Bisimulation, Finite-State Machine, Transition System

Avis

4.2 (82 évaluations)
  • 5 stars
    44 ratings
  • 4 stars
    18 ratings
  • 3 stars
    13 ratings
  • 2 stars
    5 ratings
  • 1 star
    2 ratings
AA

Oct 14, 2016

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

EC

May 15, 2017

Thanks! Very well done for an introductory course.

À partir de la leçon
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.

Enseigné par

  • Jan Friso Groote

    Jan Friso Groote

    Full professor

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.