@misc{indiciae0576cfbbc26a,
  title = {An ASM-based Characterization of Starvation-free Systems},
  author = {Alessandro Bianchi and Sebastiano Pizzutilo and Gennaro Vessio},
  year = {2017},
  doi = {10.1080/17445760.2017.1288808},
  url = {https://arxiv.org/abs/1707.06560},
  note = {Source identifier: 1707.06560}
}