Up a level |
Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017)
Common Knowledge in a Logic of Gossips.
.
Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017)
Decidability of Fair Termination of Gossip Protocols.
.
Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2018)
Verification of Distributed Epistemic Gossip Protocols.
Journal of Artificial Intelligence Research, 62.
pp. 101-133.
Van Der Hoek, W, Apt, Krzysztof and Grossi, Davide ORCID: 0000-0002-9709-030X
(2018)
When Are Two Gossips the Same?
In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2018-11-16 - 2018-11-21, Awassa, Ethopia.