Kademlia; Kad; Distributed specification; Formal analysis; Maude; Real-Time Maude;
机译:使用Maude的领域特定模型的正式规范和分析
机译:从AUML图生成Maude正式规范
机译:R / KADEMLIA,糕点和竹子在移动网络中使用递归路由的性能分析
机译:Maude中的Kademlia和Kad路由表的正式规范
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:Maude中的Kademlia和Kad路由表的正式规范
机译:数据包错误对Kademlia对等路由的影响模拟。