Responsiveness and stable revivals (Formal Aspects of Computing, 2007)

(untitled) - Roscoe, A; Reed, J; Sinclair, J