Revisiting Safety and Liveness in the Context of Failures.

Bernadette Charron-Bost, Sam Toueg, Anindya Basu

Browse the full CONCUR paper archive.