分布式状态机的代数模型及其模型检验算法

• Algebraic Model for Distributed State Machine and Its Model Checking Algorithm