甲纤维瘤
等待非阻塞广播协议的安全验证
Vendredi 2024年7月干预方：露西·吉卢伊（爱尔兰国际单项体育联合会）
我们研究的进程网络都执行相同的有限协议，并以两种不同的方式同步通信：一个进程可以向所有其他进程广播一条消息，或者最多向另一个进程发送一条消息。在这两种情况下，如果没有进程可以接收消息，则仍将发送消息。我们为两个具有参数化进程数的可覆盖性问题建立了一个精确的复杂性类：状态可覆盖问题和配置可覆盖问题。众所周知，在一般情况下，这些问题是阿克曼哈德（Ackermann-hard）（但可以判定）。我们表明，当协议为Wait-Only时，即它没有进程可以发送和接收消息的状态，复杂性分别下降到P和PSpace。
纳塔利·斯兹纳杰德（at）无效的lip6.fr
