anonymous networks; deterministic distributed algorithms; graph problems; modal logic; port-numbering model;
机译:分布式计算的弱模型,与模态逻辑的连接
机译:分布式计算弱异步模型的分类
机译:圆柱模态逻辑和箭头逻辑的下界计算
机译:与模态逻辑有关的分布式计算的弱模型
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:分布式可塑性小脑模型中的连接控制含义
机译:分布式计算的弱模型,与模态逻辑的连接