BriefGPT.xyz
Aug, 2023
三台弱同步系统的图灵能力
Weakly synchronous systems with three machines are Turing powerful
HTML
PDF
Cinzia Di Giusto, Davide Ferré, Etienne Lozes, Nicolas Nisse
TL;DR
在弱同步系统中,我们研究了有限状态机和异步消息传递分布式系统,特别是对于p2p(FIFO)通信,我们证明了三个进程的弱同步系统的配置可达性问题是不可判定的,并且其生成的消息序列图具有任意大的树宽。
Abstract
Communicating
finite-state machines
(CFMs) are a Turing powerful model of
asynchronous message-passing
distributed systems. In
weakly synchronous
→