Transition systems with data, time and probabilities

Loading...
Eye
查看授課大綱

您將學習的技能

Bisimulation, Finite-State Machine, Transition System

審閱

4.1(68 個評分)
  • 5 stars
    33 ratings
  • 4 stars
    15 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.

從本節課中
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.

教學方

  • Jan Friso Groote

    Jan Friso Groote

    Full professor

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。