TY  - RPRT
TI  - Tight Cutoffs for Guarded Protocols with Fairness
AU  - Simon Außerlechner
AU  - Swen Jacobs
AU  - Ayrat Khalimov
PY  - 2015
DO  - 10.1007/978-3-662-49122-5_23
UR  - https://arxiv.org/abs/1505.03273
ID  - 1505.03273
ER  -