Bisimulation

就我現在有限的認知，bisimulation 和 coinduction 只是有關係，而不是同一回事啊。愈來愈混亂了…

--
新手上路總是很痛苦 XD。