When to use which behavioural equivalence


Destrezas que aprenderás

Bisimulation, Finite-State Machine, Transition System


4.1 (64 calificaciones)
  • 5 stars
    32 ratings
  • 4 stars
    14 ratings
  • 3 stars
    12 ratings
  • 2 stars
    4 ratings
  • 1 star
    2 ratings

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

Thanks! Very well done for an introductory course.

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:

  • Jan Friso Groote

    Jan Friso Groote

    Full professor

Explora nuestro catálogo

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