"Tight Cutoffs for Guarded Protocols with Fairness."

Simon Außerlechner, Swen Jacobs, Ayrat Khalimov (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics