A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.

Stefan Leue, Alin Stefanescu, Wei Wei

Browse the full CONCUR paper archive.