Bi Во 1 T.Bo T.B Bo + C ~ B1 + C C + B , C + B1 C BoC ~ BLIC CB CB1 Bola Bo \ αν B1 \ α α The corresponding definition of strong ground bisimilarity adopted ...
確定! 回上一頁