@misc{indiciaea7c56ec344a8,
  title = {Promptness and Bounded Fairness in Concurrent and Parameterized Systems},
  author = {Swen Jacobs and Mouhammad Sakr and Martin Zimmermann},
  year = {2019},
  url = {https://arxiv.org/abs/1911.03122},
  note = {Source identifier: 1911.03122}
}