Decidability of Fair Termination of Gossip Protocols
Decidability of Fair Termination of Gossip Protocols
复制标题
八卦协议公平终止的可判定性
DOI：
10.29007/62s4
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Apt K
中科院分区：
文献类型：
--
作者：
Apt K
影响因子：
2.1
作者：
K. Apt;Davide Grossi;W. Hoek
通讯作者：
W. Hoek
动态八卦的认知协议
DOI：
10.1016/j.jal.2016.12.001
发表时间：
2017
期刊：
J. Appl. Log.
影响因子：
--
作者：
H. V. Ditmarsch;J. Eijck;Pere Pardo;Rahim Ramezanian;François Schwarzentruber
通讯作者：
François Schwarzentruber