Responsiveness and stable revivals

Joy N. Reed, A. W. Roscoe, J. E. Sinclair. Responsiveness and stable revivals. Formal Asp. Comput., 19(3):303-319, 2007. [doi]

Abstract

Abstract is missing.