Up a level |
Number of items: 2.
Ditmarsch, Hans van, Gattinger, Malvin, Kokkinis, Ioannis and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2019)
Reachability of Five Gossip Protocols.
In: 13th International Conference on Reachability Problems (RP19).
van Ditmarsch, Hans, Gattinger, Malvin, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Pardo, Pere
(2019)
Strengthening Gossip Protocols using Protocol-Dependent Knowledge.
Journal of Applied Logics.