为解决这个问题， 我们引入了分布式系统全局状态的概念，并在此基础上，定义系统的全局状态自动机（Global State Automata， GSA）来直观地表明系统整体所处的状态和系统局部的变迁对整体产生的影响。
基于4个网页-相关网页
global state automata
全局状态自动机
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动