TY  - RPRT
TI  - An ASM-based Characterization of Starvation-free Systems
AU  - Alessandro Bianchi
AU  - Sebastiano Pizzutilo
AU  - Gennaro Vessio
PY  - 2017
DO  - 10.1080/17445760.2017.1288808
UR  - https://arxiv.org/abs/1707.06560
ID  - 1707.06560
ER  -