Decidability of Fair Termination of Gossip Protocols



Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Decidability of Fair Termination of Gossip Protocols. .

[thumbnail of main.pdf] Text
main.pdf - Author Accepted Manuscript

Download (460kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 31 May 2017 09:24
Last Modified: 19 Jan 2023 07:03
URI: https://livrepository.liverpool.ac.uk/id/eprint/3007713