Long-Lived Tasks.Armando Castañeda,Sergio Rajsbaum,Michel RaynalNETYS(2017)引用 22|浏览20暂无评分关键词Distributed problems, Formal specifications, Tasks, Sequential specifications, Linearizability, Long-lived objectsAI 理解论文溯源树样例生成溯源树,研究论文发展脉络