Divergence preserving branching bisimulation

Loading...
Visualizar o programa do curso

Habilidades que você aprenderá

Bisimulation, Finite-State Machine, Transition System

Avaliações

4.1 (72 classificações)
  • 5 stars
    36 ratings
  • 4 stars
    16 ratings
  • 3 stars
    13 ratings
  • 2 stars
    5 ratings
  • 1 star
    2 ratings
AA

Oct 14, 2016

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

EC

May 15, 2017

Thanks! Very well done for an introductory course.

Na lição
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.

Ministrado por

  • Jan Friso Groote

    Jan Friso Groote

    Full professor

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.