Alon Brook, Doron Peled, Sven Schewe. Local and global fairness in concurrent systems. In 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015. pages 2-9, IEEE, 2015. [doi]
@inproceedings{BrookPS15, title = {Local and global fairness in concurrent systems}, author = {Alon Brook and Doron Peled and Sven Schewe}, year = {2015}, doi = {10.1109/MEMCOD.2015.7340461}, url = {http://dx.doi.org/10.1109/MEMCOD.2015.7340461}, researchr = {https://researchr.org/publication/BrookPS15}, cites = {0}, citedby = {0}, pages = {2-9}, booktitle = {13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015}, publisher = {IEEE}, isbn = {978-1-5090-0237-5}, }