The alternating bit protocol

Просмотреть программу курса

Получаемые навыки

Bisimulation, Finite-State Machine, Transition System


4.2 (оценок: 82)
  • 5 stars
    44 ratings
  • 4 stars
    18 ratings
  • 3 stars
    13 ratings
  • 2 stars
    5 ratings
  • 1 star
    2 ratings

Oct 14, 2016

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


May 15, 2017

Thanks! Very well done for an introductory course.

Из урока
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.


  • Jan Friso Groote

    Jan Friso Groote

    Full professor

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.