Early Bisimulation

P

Pﾅe

Q

Qﾅe

P

Pﾅe

Q

P

Pﾅe

Q

Qﾅe

P

Q

ﾇ隻ﾕ

P

Pﾅe

Q

Qﾅe

�Oﾇﾃ�ﾗｾ滿

鵈ﾇﾃ�ﾗｾ滿

迚鞣ﾇﾃ�ﾗｾ滿ﾇ寄�ﾇﾈ

ｽﾞﾗﾃｮﾘｽ�ﾇﾃ�\鮓