Early Bisimulation

ﾇ隻ｻﾇﾈ�苹�o�蔔藐 S ﾇ�冗�ﾈﾇ隻ｴﾅA P ~E Q ﾇ隻ｵﾅAPﾇ寝ﾇﾕ�苹�o�ﾇ寡ﾝﾇﾈﾇ隻｢ﾇｧ

�苹�o�蔔藐ﾅiP,Q) IS ﾇ隻ﾕﾅA獷犂ﾇﾃ恝鶤ﾇﾅﾅA牘�xﾇ危舵ｵﾇ游ｻ竊ﾇﾃﾇR阨裴ﾇ�ｨﾇ�ﾈﾇｱﾇ�

�Oﾇﾃ�ｾ滿鵈ﾇﾃ�ｾ滿迚鞣ﾇﾃ�ｾ滿ﾇ寄�ﾇﾈｽﾞﾗﾃｮﾘｽ�ﾃ�\鮓