Trace equivalence

Loading...

Habilidades que você aprenderá

Bisimulation, Finite-State Machine, Transition System

Avaliações

4.1 (64 classificações)
  • 5 stars
    32 ratings
  • 4 stars
    14 ratings
  • 3 stars
    12 ratings
  • 2 stars
    4 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
Basic behavioural equivalences

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.