Preserving liveness: Comments on "safety and liveness from a methodological point of view"Martín AbadiBowen Alpernet al.1991Information Processing Letters