「並行システム論」、ホーアCSPモデルの話が終わって(?)、Bisimulationの話になってから何もわからない。まあ授業を聞いていないというか英語を聞けなくて教科書を手に入れていないから仕方ないのだけれど、これからどうしようかなあ。