Language, failure, and completed trace equivalence

Loading...
查看授课大纲

您将学习的技能

Bisimulation, Finite-State Machine, Transition System

审阅

4.2(82 个评分)
  • 5 stars
    44 ratings
  • 4 stars
    18 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

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。