可重构通信的增益测量
摘要：可重构通信接口相对于固定通信接口在异步自动机中的优势研究。我们研究了异步（Zielonka）自动机与可重构通信接口的扩展。我们表明，通过固定通信接口的自动机能够捕捉到具有可重构通信接口的自动机的语言。然而，这需要将通信（和知识）传播给系统中的所有代理，因此，系统不再表现为分布式系统。然后，我们通过描述一个语言来展示这是不可避免的，在这个语言中，使用固定通信接口的每个代理要么必须了解所有的通信，要么变得不相关。
作者：Mathieu Lehaut, Nir Piterman
论文ID：2305.01425
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-03