Kolmen signaalin kättelymenettely

• Esitys vuorovaikuttavina automaatteina:

process

wait_1

read

wait

process

RECEIVE

SEND

R ¬ 1

A ¬ 1

D = 1?

R ¬ 0

D = 0?

A ¬ 0

R = 1?

D ¬ 1

A = 1?

D ¬ 0

R D A

0 0 0

receive 1 0 0

send 1 1 0

receive 0 1 0

receive 0 1 1

send 0 0 1

receive 0 0 0

Edellinen dia

Seuraava dia

Palaa ensimmäiseen diaan

Tarkastele graafista versiota