The alternating bit protocol

video-placeholder
Loading...
查看授课大纲

您将学习的技能

Bisimulation, Finite-State Machine, Transition System

审阅

4.4(168 个评分)

  • 5 stars
    64.88%
  • 4 stars
    18.45%
  • 3 stars
    11.30%
  • 2 stars
    3.57%
  • 1 star
    1.78%

GJ

May 27, 2020

Filled StarFilled StarFilled StarFilled StarFilled Star

Good course on Automata and behavioural equivalences.\n\nThe assessment questions are really challenging.

MT

Oct 18, 2016

Filled StarFilled StarFilled StarFilled StarFilled Star

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

从本节课中

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.

教学方

  • Placeholder

    Jan Friso Groote

    Full professor

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。