System Family Engineering; Leader Election; Feature Model; State Machine; Rational Rose RT;
机译:frlle:分布式系统中双向环的失败率和基于负载的领导算法
机译:彩色网络中的拓扑识别和领导人选举
机译:紧凑的确定性自我稳定型领导人选举:健谈的指数优势
机译:环形拓扑领导者选举的系统家庭工程
机译:新颖的DC环形拓扑和保护系统-大型城市电网的综合解决方案。
机译:切换拓扑下线性多主体系统的分布式领导者跟随有限时间共识控制
机译:戒指领导选举的系统家族工程
机译:spin和muCRL工具集HaVi领导者选举协议的比较。软件211工程