书目详细信息 : Colloquium on recovery techniques for multi-microprocessor systems