On termination and invariance for faulty channel machines (FORMAL ASPECTS OF COMPUTING, 2012)

(untitled) - Bouyer, P; Markey, N; Ouaknine, J; Schnoebelen, P; Worrell, J