The alternating bit protocol

Loading...
View Syllabus

Skills You'll Learn

Bisimulation, Finite-State Machine, Transition System

Reviews

4.2 (92 ratings)
  • 5 stars
    57%
  • 4 stars
    21%
  • 3 stars
    15%
  • 2 stars
    5%
  • 1 star
    2%
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.

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.

Taught By

  • Jan Friso Groote

    Jan Friso Groote

    Full professor

Explore our Catalog

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