A Static Analysis Framework for Livelock Freedom in CSP (Logical Methods in Computer Science, 2012)

(untitled) - Ouaknine, J; Palikareva, H; Roscoe, A; Worrell, J