The alternating bit protocol

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

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

Bisimulation, Finite-State Machine, Transition System

Рецензии

4.2 (оценок: 113)
  • 5 stars
    56.63%
  • 4 stars
    21.23%
  • 3 stars
    15.04%
  • 2 stars
    4.42%
  • 1 star
    2.65%
MT

Oct 19, 2016

Very interesting and a good fine-tuning experience to my brain relating to systems! Awesome!

AA

Oct 14, 2016

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

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

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

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