这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
应用推荐