...
机译:分布式计算的弱模型,与模态逻辑的连接
School of Information Sciences, University of Tampere, Tampere, Finland;
Department of Computer Science, Helsinki Institute for Information Technology HIIT, University of Helsinki, Helsinki, Finland;
Institute of Computer Science, University of Wroclaw, Wroclaw, Poland;
Department of Computer Science, Helsinki Institute for Information Technology HIIT, University of Helsinki, Helsinki, Finland;
Department of Computer Science, Helsinki Institute for Information Technology HIIT, University of Helsinki, Helsinki, Finland;
School of Information Sciences, University of Tampere, Tampere, Finland;
Department of Computer Science, Helsinki Institute for Information Technology HIIT, University of Helsinki, Helsinki, Finland;
School of Information Sciences, University of Tampere, Tampere, Finland;
Distributed computing; Local algorithms; Modal logic; Models of computation;
机译:分布式计算弱异步模型的分类
机译:圆柱模态逻辑和箭头逻辑的下界计算
机译:丢失连接:可定载链接删除的模态逻辑
机译:与模态逻辑有关的分布式计算的弱模型
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:分布式可塑性小脑模型中的连接控制含义
机译:分布式计算的弱模型,与模态逻辑的连接