Bisimulation

Bisimulation は，お互いがお互いを simulate するものかと思っていたのだけど，そうじゃなかったらしい．
つまり， P と Q が bisimilar であることを判定するのに， P が Q を simulate し，かつ Q が P を simulate することを確認すればいい，というわけではない．

P: a.0 + a.b.0
Q: a.b.0

このようなプロセスを考えると， P は Q を simulate し， Q は P を simulate するが， P と Q は bisimilar ではない．