An ASM-based characterisation of starvation-free systems
Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
- 期刊名称International Journal of Parallel, Emergent and Distributed Systems
- 作者Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
- 印刷ISSN1744-5760
- 电子ISSN1744-5779
- 文件大小1957.67KB
- 发表时间2017-02-14
- DOI10.1080/17445760.2017.1288808
- 页码1-17