Stefan Leue Alin Stefanescu Wei Wei A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. 79-94 2006 conf/concur/2006 CONCUR http://dx.doi.org/10.1007/11817949_6 db/conf/concur/concur2006.html#LeueSW06