Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract).Frank A. Stomp,Willem P. de RoeverWDAG(1989)引用 13|浏览0暂无评分关键词Extended Abstract,Formal Sequentially Phased ReasoningAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要