Responsiveness and stable revivals - Roscoe, A; Reed, J; Sinclair, J (Formal Aspects of Computing, 2007)