Decidability of Fair Termination of Gossip Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Krzysztof R. Apt

Look up 'Krzysztof R. Apt' in GoogleThis author has not been identified. Look up 'Dominik Wojtczak' in Google

runs on WebDSL