...
机译:蠕虫网络中无死锁路由的充要条件
Radboud University Nijmegen, Nijmegen;
Formal models; communication networks; deadlocks; mechanical verification.; routing protocols;
机译:ȁC的评论;蠕虫网络中无死锁的自适应路由的充要条件;
机译:虫洞网络中无死锁的自适应路由的充要条件
机译:Mesh网络中无死锁自适应路由的充分条件
机译:基于转弯模型的不规则虫洞路由网络的高效无死角树路由算法
机译:无线ad hoc网络中用于安全路由和邻域创建的蠕虫检测和清除协议。
机译:具有SUM调节逻辑的遗传网络的Lyapunov稳定性的充要条件
机译:蠕虫网络中无死锁路由的必要和充分条件