Algebraic Model for Distributed State Machine and Its Model Checking Algorithm

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