An ASM-based Characterization of Starvation-free Systems.

Alessandro BianchiSebastiano PizzutiloGennaro Vessio
Published in: CoRR (2017)