Verification of Distributed Epistemic Gossip Protocols
Verification of Distributed Epistemic Gossip Protocols
复制标题
分布式认知八卦协议的验证
DOI：
10.1613/jair.1.11204
复制
发表时间：
2018
影响因子：
5
通讯作者：
Apt K
中科院分区：
文献类型：
--
作者：
Apt K
登录
查看更多内容
关于 Gossip 协议的计算复杂性
DOI：
10.24963/ijcai.2017/106
发表时间：
2017
期刊：
J. ACM
影响因子：
--
作者：
K. Apt;Eryk Kopczynski;D. Wojtczak
通讯作者：
D. Wojtczak
八卦中的可达性和期望
DOI：
10.1007/978-3-319-69131-2_6
发表时间：
2017
期刊：
J. ACM
影响因子：
--
作者：
H. V. Ditmarsch;Ioannis Kokkinis;A. Stockmarr
通讯作者：
A. Stockmarr
影响因子：
2.1
作者：
K. Apt;Davide Grossi;W. Hoek
通讯作者：
W. Hoek
八卦协议公平终止的可判定性
DOI：
10.29007/62s4
发表时间：
--
期刊：
--
影响因子：
--
作者：
Apt K
通讯作者：
Apt K
动态八卦的认知协议
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