Krzysztof R. Apt, Dominik Wojtczak. Decidability of Fair Termination of Gossip Protocols. In Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, editors, IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Volume 1 of Kalpa Publications in Computing, pages 73-85, EasyChair, 2017. [doi]
@inproceedings{AptW17,
title = {Decidability of Fair Termination of Gossip Protocols},
author = {Krzysztof R. Apt and Dominik Wojtczak},
year = {2017},
url = {http://www.easychair.org/publications/paper/342983},
researchr = {https://researchr.org/publication/AptW17},
cites = {0},
citedby = {0},
pages = {73-85},
booktitle = {IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
volume = {1},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}