米盖尔·卡斯特罗0001 芭芭拉·利斯科夫 实用的拜占庭容错和主动恢复。 398-461 2002 20 ACM事务处理。计算。系统。 4 https://doi.org/10.1145/571637.571640 https://www.wikidata.org/entity/Q56032160 db/journals/tocs/tocs20.html#CastroL02