TY - RPRT TI - Analysis of backward error recovery for concurrent processes with recovery blocks AU - Shin, K. G. AU - Lee, Y. H. PY - 1982 UR - https://ntrs.nasa.gov/citations/19830010035 ID - 19830010035 ER -