Blom和Jonsson等人采用时延逻辑行为（TLA，Timed Logic Action）检测 业务的非一致性和死锁（24】。
基于4个网页-相关网页
等人采用时延逻辑行为
Wait for others to adopt the delay logic behavior
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动