Strong bisimulation

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.

从本节课中
Basic behavioural equivalences

教学方

  • Jan Friso Groote

    Jan Friso Groote

    Full professor

探索我们的目录

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