Algebraic Model for Distributed State Machine and Its Model Checking Algorithm是什么意思_Algebraic Model for Distributed State Machine and Its Model Checking Algorithm在线翻译_英语_读音_用法_例句