School of Information Sciences University of Tampere;
Helsinki Institute for Information Technology HIIT Department of Computer Science University of Helsinki;
Department of Mathematics and Statistics University of Helsinki;
anonymous networks; deterministic distributed algorithms; graph problems; modal logic; port-numbering model;
机译:分布式计算的弱模型,与模态逻辑的连接
机译:分布式计算弱异步模型的分类
机译:圆柱模态逻辑和箭头逻辑的下界计算
机译:分布式计算模型薄弱,与模态逻辑的连接
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:分布式可塑性小脑模型中的连接控制含义
机译:分布式计算的弱模型,与模态逻辑的连接