Late Bisimulation

ﾇ隻ｻﾇﾈ�x簷�o�ﾕ�ﾌ蔔藐 S ﾇ��冗�ﾇ�ﾇﾈﾇ隻ｴﾅA P ~L Q ﾇ隻ｵﾅAPﾇ寝ﾇﾕ�x簷�o�ﾕ�ﾌﾇ寡ﾝﾇﾈﾇ隻｢ﾇｧ

�x簷�o�ﾕ�ﾌ蔔藐 ﾅiP,Q) IS ﾇ隻ﾕﾅA�C犂ﾇﾃ��鶤�ｺﾇﾅﾅA牘��xﾇ危舵ｵﾇ游ｻ竊ﾇﾃﾇR阨裴ﾇ��ｨ�ﾟﾇ�ﾇﾈﾇｱﾇ�

�Oﾇﾃ�ﾗｾ滿

鵈ﾇﾃ�ﾗｾ滿

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

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