The alternating bit protocol

Ver programa

Destrezas que aprenderás

Bisimulation, Finite-State Machine, Transition System


4.4 (179 calificaciones)

  • 5 stars
    65,36 %
  • 4 stars
    18,43 %
  • 3 stars
    11,17 %
  • 2 stars
    3,35 %
  • 1 star
    1,67 %


25 de oct. de 2022

The course has a good space, illustrations and exercises during videos to check your knowledge. It's fun to learn.


27 de may. de 2020

Good course on Automata and behavioural equivalences.

The assessment questions are really challenging.

De la lección

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.

Impartido por:

  • Placeholder

    Jan Friso Groote

    Full professor

Explora nuestro catálogo

Inscríbete de manera gratuita y obtén recomendaciones personalizadas, actualizaciones y ofertas.