Attie, PCBensalem, SBozga, MJaber, MSifakis, JZaraket, FA2018-11-082018-11-082018-11-08201810.1145/3152910https://infoscience.epfl.ch/handle/20.500.14299/150326WOS:000425690700001Global and Local Deadlock Freedom in BIPtext::journal::journal article::research article