Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability
Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability
复制标题
针对可检测故障和任务可解决性逻辑障碍的代理的部分产品更新
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Susumu Nishimura
中科院分区：
文献类型：
--
作者：
Daisuke Nakai;Masaki Muramatsu;Susumu Nishimura
登录
查看更多内容
DOI：
10.1016/s1571-0661(05)01148-5
发表时间：
2000
期刊：
GETCO
影响因子：
--
作者：
Maurice Herlihy;S. Rajsbaum;M. Tuttle
通讯作者：
M. Tuttle
为超集封闭对手设定协议任务的逻辑障碍
DOI：
--
发表时间：
2020
期刊：
ArXiv
影响因子：
--
作者：
Koki Yagi;S. Nishimura
通讯作者：
S. Nishimura
用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型
DOI：
10.4204/eptcs.277.6
发表时间：
2018
期刊：
International Symposium on Games, Automata, Logics and Formal Verification
影响因子：
--
作者：
É. Goubault;J. Ledent;S. Rajsbaum
通讯作者：
S. Rajsbaum
DOI：
10.1007/978-3-662-48653-5_29
发表时间：
2015
期刊：
International Symposium on Distributed Computing
影响因子：
--
作者：
É. Goubault;S. Mimram;C. Tasson
通讯作者：
C. Tasson