학생용

The alternating bit protocol

Loading...
강의 계획서 보기

배우게 될 기술

Bisimulation, Finite-State Machine, Transition System

검토

4.2(115개의 평가)
  • 5 stars
    55.65%
  • 4 stars
    21.73%
  • 3 stars
    15.65%
  • 2 stars
    4.34%
  • 1 star
    2.60%
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.

강사:

  • Placeholder

    Jan Friso Groote

    Full professor

Coursera 카탈로그 살펴보기

무료로 참여해 맞춤화된 추천, 업데이트 및 제안을 받아보세요.